"Introduction to Symbolic Logic" - читать интересную книгу автора (James D. Carney)