A. Robinson. Model theory and non-standard arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 265–302.
- 12 March 1970
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 35 (1) , 149
- https://doi.org/10.2307/2271202
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: