| 1 | Introduction | PDF unavailable |
| 2 | Propositional Logic Syntax | PDF unavailable |
| 3 | Semantics of Propositional Logic | PDF unavailable |
| 4 | Logical and Algebraic Concepts | PDF unavailable |
| 5 | Identities and Normal forms | PDF unavailable |
| 6 | Tautology Checking | PDF unavailable |
| 7 | Propositional Unsatisfiability | PDF unavailable |
| 8 | Analytic Tableaux | PDF unavailable |
| 9 | Consistency and Completeness | PDF unavailable |
| 10 | The Completeness Theorem | PDF unavailable |
| 11 | Maximally Consistent Sets | PDF unavailable |
| 12 | Formal Theories | PDF unavailable |
| 13 | Proof Theory : Hilbert-style | PDF unavailable |
| 14 | Derived Rules | PDF unavailable |
| 15 | The Hilbert System : Soundness | PDF unavailable |
| 16 | The Hilbert System :Completeness | PDF unavailable |
| 17 | Introduction to Predicate Logic | PDF unavailable |
| 18 | The Semantic of Predicate Logic | PDF unavailable |
| 19 | Subsitutions | PDF unavailable |
| 20 | Models | PDF unavailable |
| 21 | Structures and Substructures | PDF unavailable |
| 22 | First - Order Theories | PDF unavailable |
| 23 | Predicate Logic: Proof Theory (Contd..) | PDF unavailable |
| 24 | Existential Quantification | PDF unavailable |
| 25 | Normal Forms | PDF unavailable |
| 26 | Skalemization | PDF unavailable |
| 27 | Substitutions and Instantiations | PDF unavailable |
| 28 | Unification | PDF unavailable |
| 29 | Resolution in FOL | PDF unavailable |
| 30 | More on Resolution in FOL | PDF unavailable |
| 31 | Resolution : Soundness and Completeness | PDF unavailable |
| 32 | Resolution and Tableaux | PDF unavailable |
| 33 | Completeness of Tableaux Method | PDF unavailable |
| 34 | Completeness of the Hilbert System | PDF unavailable |
| 35 | First -Order Theories | PDF unavailable |
| 36 | Towards Logic Programming | PDF unavailable |
| 37 | Verification of Imperative Programs | PDF unavailable |
| 38 | Verification of WHILE Programs | PDF unavailable |
| 39 | References | PDF unavailable |