"An Invitation to Formal Reasoning" - читать интересную книгу автора (Frederic Tamler Sommers, George Englebretsen, Harry A. Wolfson, Fred Sommers)