"Introduction to Mathematical Logic, Volume 1" - читать интересную книгу автора (Alonzo Church)