Math Logic

Gödel, Escher, Bach: An Eternal Golden Braid
Gödel's Proof
Set Theory and Logic
How to Solve It: A New Aspect of Mathematical Method
A Mathematical Introduction to Logic
Conceptual Mathematics: A First Introduction To Categories
Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering
Concrete Mathematics: A Foundation for Computer Science
Logic: Form And Function: The Mechanization Of Deductive Reasoning
Blank 133x176
Logic for Computer Sci...
Jean H. Gallier
Modal Logic: An Introduction
Mathematical Logic
Popular Lectures on Mathematical Logic
Computability and Logic
Mathematical Logic for Computer Science