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

by L Kirby, J Paris
Venue:in Lecture Notes in Mathematics