1 Basic notion -- 2 Validity -- 3 Formality -- 4 The symbols of propositional logic -- 5 The language L -- 6 Logical consequence in L -- 7 The system Sn -- 8 Derivability in Sn -- 9 The system Sa -- 10 Consistency, soundness, completeness -- 11 Quantification -- 12 The symbols o…
This textbook is a logic manual which includes an elementary course and an advanced course. It covers more than most introductory logic textbooks, while maintaining a comfortable pace that students can follow. The technical exposition is clear, precise and follows a paced increa…
