%0 Journal Article %1 journals/ndjfl/Gauthier78 %A Gauthier, Yvon %D 1978 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 92-100 %T Foundational problems of number theory. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl19.html#Gauthier78 %V 19

@article{journals/ndjfl/Gauthier78, added-at = {2020-05-21T00:00:00.000+0200}, author = {Gauthier, Yvon}, biburl = {https://www.bibsonomy.org/bibtex/257ca87e138a998f8b7c29f7b527eef87/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093888210}, interhash = {2faf3de3df88fd26625f17db594bc8b6}, intrahash = {57ca87e138a998f8b7c29f7b527eef87}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {92-100}, timestamp = {2020-05-23T12:17:12.000+0200}, title = {Foundational problems of number theory.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl19.html#Gauthier78}, volume = 19, year = 1978 }