While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, ...

The course begins with taking a look at the big picture: the main problems and milestones of modern logic. Then, after a quick review of classical propositional and first-order predicate logic, the ...

This module introduces the foundations of logic in computer science. The first part introduces the syntax and semantics of propositional and predicate logics, natural deduction, and notions such as ...