"Entailment: The Logic of Relevance and Necessity" - читать интересную книгу автора (Alan Ross Anderson and Nuel D.Belnap, Jr.)