C. Ward Henson, Matt Kaufmann, H. Jerome Keisler. The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic, 49(4):1039-1058, 1984.
@article{HensonKK84,
title = {The Strength of Nonstandard Methods in Arithmetic},
author = {C. Ward Henson and Matt Kaufmann and H. Jerome Keisler},
year = {1984},
tags = {C++},
researchr = {https://researchr.org/publication/HensonKK84},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {49},
number = {4},
pages = {1039-1058},
}