"5" Result
Sort By:
Introduction. 1. Prerequisites. 1.1. Sets. 1.2. Inductive definitions and proofs. 1.3. Notations -- 2. Classical Propositional Logic. 2.1. Propositions and connectives. 2.2. Propositional language. 2.3. Structure of formulas. 2.4. Semantics. 2.5. Tautological consequence. 2.6. F…