%0 Journal Article %1 journals/jsyml/HensonKK84 %A Henson, C. Ward %A Kaufmann, Matt %A Keisler, H. Jerome %D 1984 %J J. Symb. Log. %K dblp %N 4 %P 1039-1058 %T The Strength of Nonstandard Methods in Arithmetic. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml49.html#HensonKK84 %V 49

@article{journals/jsyml/HensonKK84, added-at = {2021-10-14T00:00:00.000+0200}, author = {Henson, C. Ward and Kaufmann, Matt and Keisler, H. Jerome}, biburl = {https://www.bibsonomy.org/bibtex/20ad0bda41c5a61ea9ab89610313eafb1/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183741687}, interhash = {ba1b472741e95f4b11a67739eb12a6c9}, intrahash = {0ad0bda41c5a61ea9ab89610313eafb1}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1039-1058}, timestamp = {2024-04-08T12:22:38.000+0200}, title = {The Strength of Nonstandard Methods in Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml49.html#HensonKK84}, volume = 49, year = 1984 }