"Strict Implication, Deducibility and the Deduction Theorem" - читать интересную книгу автора (Marcus Ruth Barcan)