| |
| | DeHaven: Textbook (Site not responding. Last check: 2007-11-03) |
 | | The treatment of categorical logic comprises a single chapter placed between propositional logic and predicate logic. |
 | | Propositional Logic: The text uses a modified Copi proof system, together with a symbol system designed to integrate with the software (e.g., using an arrow, ->, for conditional instead of a horseshoe, ⊃, and a double arrow, <->, for biconditional instead of triple bar, ≡). |
 | | The strategy throughout the text seems to be to introduce the basic concepts as clearly and briefly as possible, and then to have students do exercises, quizzes, and web-based problems until they master the material. |
| mbyron.philosophy.kent.edu /Logic/textbooks/dehaven.html (348 words) |
|