"An Invitation to Formal Reasoning: The Logic of Terms" - читать интересную книгу автора (Frederic Sommers, George Englebretsen)