"A Propositional Calculus with Denumerable Matrix" - читать интересную книгу автора (Dummett Michael)