%0 Journal Article %1 journals/mlq/Jones85 %A Jones, John %D 1985 %J Math. Log. Q. %K dblp %N 1-6 %P 31-33 %T Simplified Axiom Schemes for Implication and Iterated Implication. %U http://dblp.uni-trier.de/db/journals/mlq/mlq31.html#Jones85 %V 31

@article{journals/mlq/Jones85, added-at = {2023-08-28T00:00:00.000+0200}, author = {Jones, John}, biburl = {https://www.bibsonomy.org/bibtex/2b1d39521a6ba29ce8934668e54ec9c72/dblp}, ee = {https://www.wikidata.org/entity/Q114696425}, interhash = {0f1d5421167af8aaab620126cc6cf788}, intrahash = {b1d39521a6ba29ce8934668e54ec9c72}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {1-6}, pages = {31-33}, timestamp = {2024-04-08T17:44:35.000+0200}, title = {Simplified Axiom Schemes for Implication and Iterated Implication.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq31.html#Jones85}, volume = 31, year = 1985 }