%0 Journal Article %1 journals/ndjfl/CoburnM77 %A Coburn, Barry %A Miller, David %D 1977 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 607-610 %T Two comments on Lemmon's Beginning logic. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl18.html#CoburnM77 %V 18

@article{journals/ndjfl/CoburnM77, added-at = {2020-05-21T00:00:00.000+0200}, author = {Coburn, Barry and Miller, David}, biburl = {https://www.bibsonomy.org/bibtex/2bd9ba7f70dce89ceaf17a94bcad2cc13/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093888128}, interhash = {16d4af5779afd78b08d1528859788614}, intrahash = {bd9ba7f70dce89ceaf17a94bcad2cc13}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {607-610}, timestamp = {2020-05-23T12:16:04.000+0200}, title = {Two comments on Lemmon's Beginning logic.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl18.html#CoburnM77}, volume = 18, year = 1977 }