"Logic with Trees: An Introduction to Symbolic Logic" - читать интересную книгу автора (Colin Howson)