"Functional Calculus of First Order Based on Strict Implication" - читать интересную книгу автора (Marcus Ruth Barcan)