%0 Journal Article %1 journals/ndjfl/Mackenzie79 %A Mackenzie, Jim D. %D 1979 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 705-717 %T How to stop talking to tortoises. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl20.html#Mackenzie79 %V 20

@article{journals/ndjfl/Mackenzie79, added-at = {2020-05-21T00:00:00.000+0200}, author = {Mackenzie, Jim D.}, biburl = {https://www.bibsonomy.org/bibtex/257aab15ab88bf9f3cc4505b8b5eed888/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093882790}, interhash = {7c893a07bc7098451d306d6748a449ef}, intrahash = {57aab15ab88bf9f3cc4505b8b5eed888}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {705-717}, timestamp = {2020-05-23T12:17:44.000+0200}, title = {How to stop talking to tortoises.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl20.html#Mackenzie79}, volume = 20, year = 1979 }