Sl.No Chapter Name English
1IntroductionPDF unavailable
2Propositional Logic SyntaxPDF unavailable
3Semantics of Propositional LogicPDF unavailable
4Logical and Algebraic ConceptsPDF unavailable
5Identities and Normal formsPDF unavailable
6Tautology CheckingPDF unavailable
7Propositional UnsatisfiabilityPDF unavailable
8Analytic TableauxPDF unavailable
9Consistency and CompletenessPDF unavailable
10The Completeness TheoremPDF unavailable
11Maximally Consistent SetsPDF unavailable
12Formal TheoriesPDF unavailable
13Proof Theory : Hilbert-stylePDF unavailable
14Derived RulesPDF unavailable
15The Hilbert System : SoundnessPDF unavailable
16The Hilbert System :CompletenessPDF unavailable
17Introduction to Predicate LogicPDF unavailable
18The Semantic of Predicate LogicPDF unavailable
19SubsitutionsPDF unavailable
20ModelsPDF unavailable
21Structures and SubstructuresPDF unavailable
22First - Order TheoriesPDF unavailable
23Predicate Logic: Proof Theory (Contd..)PDF unavailable
24Existential QuantificationPDF unavailable
25Normal FormsPDF unavailable
26SkalemizationPDF unavailable
27Substitutions and InstantiationsPDF unavailable
28UnificationPDF unavailable
29Resolution in FOLPDF unavailable
30More on Resolution in FOLPDF unavailable
31Resolution : Soundness and CompletenessPDF unavailable
32Resolution and TableauxPDF unavailable
33Completeness of Tableaux MethodPDF unavailable
34Completeness of the Hilbert SystemPDF unavailable
35First -Order TheoriesPDF unavailable
36Towards Logic ProgrammingPDF unavailable
37Verification of Imperative ProgramsPDF unavailable
38Verification of WHILE ProgramsPDF unavailable
39ReferencesPDF unavailable

Sl.No Language Book link
1EnglishNot Available
2BengaliNot Available
3GujaratiNot Available
4HindiNot Available
5KannadaNot Available
6MalayalamNot Available
7MarathiNot Available
8TamilNot Available
9TeluguNot Available