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.
by Charles M. Sheldon
by Charles Darwin
by Jason Rosenhouse, Raymond M. Smullyan
by Raymond M. Smullyan
by Henry David Thoreau
by Willa Cather
Sign up for our email newsletter