Models of Peano Arithmetic, volume 15 of Oxford Logic Guides (1991)

by Richard Kaye