Elements of deductive logic
A textbook for an 'advanced introductory' logic class (I used it as a textbook for mathematically capable introductory logic students). The book uses the tableau method, and includes standard results up to a proof of the soundness of predicate logic. Its slightly unusual features include a...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
2008
|
| Subjects: |