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