Chapter 0: Overview
Chapter 1: Formal Languages - 1
Chapter 2: Formal Languages - 2
Chapter 3: Mathematical Induction
Chapter 4: Truth-Functional Logic
Chapter 5: The Semantic Characterization of Logic
Chapter 6: The Deductive Characterization of Logic
Chapter 7: Abtract Logics
Chapter 8: Axiom Systems for Classical Sentential Logic
Chapter 9: Initial Theorems about Axiom System AS1
Chapter 10: The Soundness Theorem for System AS1
Chapter 11: The Completeness Theorem for System AS1
Chapter 12: Summary of Results for CSL & AS1
Chapter 13: The Syntax of Classical First-Order Logic
Chapter 14: The Semantics of Classical First-Order Logic
Chapter 15: Validity in Classical First-Order Logic
Chapter 16: Axiom Systems for Classical First-Order Logic
Chapter 17: Soundness Theorem for System AS1+Q
Chapter 18: Completeness Theorem for Axiom System AS1+Q for CPL
Appendix 1: Categorial Grammar
Appendix 2: Theories of Strings
Appendix 3: Summary of Set Theory
These require Adobe Acrobat Reader.
To download, click here.