%0 Journal Article %1 journals/mlq/Jones82 %A Jones, John %D 1982 %J Math. Log. Q. %K dblp %N 33-38 %P 505-510 %T A Formalisation of an ℵ0-Valued Propositional Calculus with Variable Functors. %U http://dblp.uni-trier.de/db/journals/mlq/mlq28.html#Jones82 %V 28

@article{journals/mlq/Jones82, added-at = {2016-11-30T00:00:00.000+0100}, author = {Jones, John}, biburl = {https://www.bibsonomy.org/bibtex/2b083e1a0c1a380e46b911aff21d4157d/dblp}, ee = {http://dx.doi.org/10.1002/malq.19820283305}, interhash = {b8ce252218e237aeb04baf92a037ef7c}, intrahash = {b083e1a0c1a380e46b911aff21d4157d}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {33-38}, pages = {505-510}, timestamp = {2016-12-01T11:34:16.000+0100}, title = {A Formalisation of an ℵ0-Valued Propositional Calculus with Variable Functors.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq28.html#Jones82}, volume = 28, year = 1982 }