%0 Journal Article %1 journals/mlq/Jones85a %A Jones, John %D 1985 %J Math. Log. Q. %K dblp %N 25-28 %P 403-422 %T Formalisations of Many-Valued Propositional Calculi with Variable Functors. %U http://dblp.uni-trier.de/db/journals/mlq/mlq31.html#Jones85a %V 31

@article{journals/mlq/Jones85a, added-at = {2016-12-04T00:00:00.000+0100}, author = {Jones, John}, biburl = {https://www.bibsonomy.org/bibtex/24876c38a1ce598a437be03c94a88c67b/dblp}, ee = {http://dx.doi.org/10.1002/malq.19850312504}, interhash = {f6e42f465b594db935e20d2822e85f05}, intrahash = {4876c38a1ce598a437be03c94a88c67b}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {25-28}, pages = {403-422}, timestamp = {2016-12-06T11:34:06.000+0100}, title = {Formalisations of Many-Valued Propositional Calculi with Variable Functors.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq31.html#Jones85a}, volume = 31, year = 1985 }