344 Pages
by
Routledge
348 Pages
by
Routledge
344 Pages
by
Routledge
Also available as eBook on:
"This strikes me as in many ways an excellent book...Zalabardo writes clearly and motivates the main ideas well... The number and variety of the excercises is a strength of the book. The instructor has room to choose excercises to suit the needs and abilities of the students"
Preface -- Chapter 1: The Elements -- Chapter 2: Propositional Logic -- Chapter 3: First-order Logic: Syntax and Semantics -- Chapter 4: Deduction -- Chapter 5: Soundness and Completeness -- Chapter 6: Cardinality -- Chapter 7: Expressive Limitations -- Chapter 8: Decidability -- Symbols and Notation -- Greek Letters -- Index.
Biography
Jose L. Zalabardo
