A Beginner's Guide to Mathematical Logic

Combining stories of great writers and philosophers with quotations and riddles, this original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2014 edition.

puzzles;riddles;propositional logic axiom system;math exercises;stories of philosophers;quotations;undergraduate studies;complex;science and math;formal proof systems;foundational theories;undecidability;combinatoric logic;recursion theory;incompleteness theorems;first order logic;propositional logic;proofs;mathematical studies