"Essentials of Symbolic Logic" - читать интересную книгу автора (R.L. Simpson)