Find out more about available formats and browse any associated online resources. This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, ...

including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek to Gödel's incompleteness theorem is also provided. The textbook is ...