"Models of Peano Arithmetic (Oxford Logic Guides, Volume 15)" - читать интересную книгу автора (Richard Kaye)