Mathematical Logic

Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

From Frege to Gödel : A Source Book in Mathematical Logic

Proofs and Refutations: The Logic of Mathematical Discovery

Graduate Texts in Mathematics Ser.: Mathematical Logic by Wolfgang Thomas,...

Godel’s Way: Exploits into an Undecidable World-Kurt Godel-Mathematical Logic

FOUNDATIONS OF MATHEMATICAL LOGIC – Haskell B. Curry – Dover Publications – 1976

Dover Books on Mathematics Ser.: Mathematical Logic by Stephen Cole Kleene New