Your textbook…
Logic for Mathematics and Computer Science
ISBN-10: 0-13-285974-2
ISBN-13: 978-0-13-285974-5
Published by Addison-Wesley
© 1998
Pub. Date: Aug 18, 1997
Format: Paper
Table of Contents
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 Gödel'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.
