%0 Journal Article %1 journals/ndjfl/White93 %A White, G. %D 1993 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 311-333 %T Are we finite? %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl34.html#White93 %V 34

@article{journals/ndjfl/White93, added-at = {2020-05-21T00:00:00.000+0200}, author = {White, G.}, biburl = {https://www.bibsonomy.org/bibtex/22c27fa32a6d91a7a32f94a1d4b233243/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093634726}, interhash = {1909b23fc047460110d01f00c56a6587}, intrahash = {2c27fa32a6d91a7a32f94a1d4b233243}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {311-333}, timestamp = {2020-05-23T12:16:16.000+0200}, title = {Are we finite?}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl34.html#White93}, volume = 34, year = 1993 }