Sl.No Chapter Name English
1Sets and StringsPDF unavailable
2Syntax of Propositional LogicPDF unavailable
3Unique ParsingPDF unavailable
4Semantics of PLPDF unavailable
5Consequences and Equivalences PDF unavailable
6Five results about PLPDF unavailable
7Calculations and Informal ProofsPDF unavailable
8More Informal ProofsPDF unavailable
9Normal formsPDF unavailable
10SAT and 3SATPDF unavailable
11Horn-SAT and ResolutionPDF unavailable
12ResolutionPDF unavailable
13Adequacy of ResolutionPDF unavailable
14Adequacy and Resolution StrategiesPDF unavailable
15Propositional Calculus (PC)PDF unavailable
16Some Results about PCPDF unavailable
17Arguing with ProofsPDF unavailable
18Adequacy of PCPDF unavailable
19Compactness & Analytic TableauPDF unavailable
20Examples of Tableau ProofsPDF unavailable
21Adequacy of TableauxPDF unavailable
22Syntax of First order Logic (FL)PDF unavailable
23Symbolization & Scope of QuantifiersPDF unavailable
24Hurdles in giving MeaningPDF unavailable
25Semantics of FLPDF unavailable
26Relevance LemmaPDF unavailable
27Validity, Satisfiability & EquivalencePDF unavailable
28Six Results about FLPDF unavailable
29Laws in FLPDF unavailable
30Quantifier Laws and ConsequencesPDF unavailable
31Examples of Informal Proofs and CalculationPDF unavailable
32Prenex Form ConversionPDF unavailable
33Skolem FormPDF unavailable
34Syntatic Interpretation PDF unavailable
35Herbrand's TheoremPDF unavailable
36Most General UnifiersPDF unavailable
37Resolution RulesPDF unavailable
38Resolution ExamplesPDF unavailable
39Axiomatic System FCPDF unavailable
40FC, Semidecidability of FL, and TableauPDF unavailable
41Analytic Tableau for FLPDF unavailable
42Goedel's Incompleteness TheoremsPDF unavailable

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