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...
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Langue: | English |
| Publié: |
2008
|
| Sujets: |