Initial segments of models of Peano's axioms (1977)

by L KIRBY, J PARIS
Venue:Springer-Verlag Lecture Notes in Mathematics