Logic for Mathematics and Computer Science
Stanley N. Burris · 1997
I. QUANTIFIER-FREE LOGICS. 1. From Aristotle to Boole. 2. Propositional Logic. 3. Equational Logic. 4. Predicate Clause Logic. II. LOGIC WITH QUANTIFIERS. 5. First-Order Logic: Introduction, and Fundamental Results on Semantics. 6. A Proof System for First-Order Logic and Goedel's Completeness Theorem. Appendix A. A Simple Timetable of Mathematical Logic and Computing. Appendix B. Dedekind-Peano Number System. Appendix C. Writing Up an Inductive Definition or Proof. Appendix D. FL Propositional Logic. Bibliography. Index.