Philosophical and Mathematical Logic

Chapter 1. Propositional Logic.- Chapter 2. Predicate Logic.- Chapter 3. Arithmetic and Gödel's incompleteness theorem.- Chapter 4. Sets (finite and infinite).- Chapter 5. Philosophical logic: modal, epistemic, deontic, temporal.- Chapter 6. Philosophy of language.- Chapter 7. Intuitionism and intuitionistic logic.- Chapter 8. Applications of logic and set theory: logic programming; relational databases.