Logic for Computer Science Transparency No. 1-1 Chapter 1 Introduction Cheng-Chia Chen.
Logic in Computer Science Transparency No. 3.3-1 Chapter 3 Propositional Logic 3.6. Propositional Resolution.
Logic for computer science Transparency No. 2-0 Chapter 2 Mathematical Preliminaries.