Propositional Logic: formalization of sentences, syntax and semantics, Tableaux for Propositional Logic, Completeness and Correctness. First Order Logic (FOL): formalization of sentences, syntax and semantics, correctness and completeness. Deductive systems for FOL.
- Enderton, H. B. (2001). A Mathematical Introduction to Logic (2 ed.). Academic Press.
- First-Order Logic. (1995). First-Order Logic. Dover Publications.
- Prawitz, D. (2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.