"A friendly introduction to mathematical logic" - читать интересную книгу автора (Leary C.C.)