Spring Reading Challenge
Genres

Math Logic


Math Logic Books

Gödel's Proof
Fermat's Enigma
Gödel, Escher, Bach: An Eternal Golden Braid
How Not to Be Wrong: The Power of Mathematical Thinking
How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library)
A Mathematical Introduction to Logic
Set Theory and Logic (Dover Books on Mathematics)
How to Prove It: A Structured Approach
MATHEMATICAL LOGIC OTIL PAPER (Oxford Texts in Logic)
Proofs and Refutations: The Logic of Mathematical Discovery
Men of Mathematics
An Introduction to Non-Classical Logic - From If to Is
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
Concrete Mathematics: A Foundation for Computer Science
Mathematical Logic, 2nd Edition
More math logic books...