Nonstandard models and independence of the induction axiom (1962)

by M O Rabin
Venue:Essays on the Foundations of Mathematics