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

by AK Peters