"The Structure of Models of Peano Arithmetic " - читать интересную книгу автора (Roman Kossak, Jim Schmerl)