"Mathematical logic" - читать интересную книгу автора (J.D. Monk)