"Simple Formal Logic: With Common-Sense Symbolic Techniques" - читать интересную книгу автора (Arnold vander Nat)