Proofs and Refutations: The Logic of Mathematical Discovery

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

Mathematical Logic, S C Kleene, Wiley, 1967

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

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

Saunders Ser.: Mathematical Logic : Application and Theory by Jean Rubin (1990)

Mathematical Logic: Revised - Paperback, by Quine Willard Van - Acceptable n

Proofs and Refutations: The Logic of Mathematical... - Lakatos/Worrall/Zahar