"Types, Tableaus, and Gödel’s God (Trends in Logic)" - читать интересную книгу автора (Melvin Fitting)