Logic and Set Theory
MAT 372

Links

Introductions to Set Theory, Logic, etc.

• primer on basic set theory
• article on set theory
• classical logic
• model theory

    Introductory books on set theory and logic:

• Paul Halmos' Naive Set Theory, Springer (excellent introduction to naive set theory)

• A. G. Hamilton. Logic for Mathematicians, Cambridge. Good introduction to logic.

• Nagel/Newman. Gödel's Proof, NY University Press. Exposition of Gödel's result.

Banach Tarski Paradox

• Statement, history, proof sketch, and references
• Presentation including the earlier Hausdorff paradox
• Stan Wagon's The Banach Tarski Paradox

History and Philosophy

• Kanamori's history of set theory in two parts: Set Theory from Cantor to Cohen, and Hilbert and Set Theory
• Original papers that shaped modern mathematical logic can be found in van Heijenoort's "From Frege to Gödel".
• Tractatus Logico-Philosophicus (in English and German)
• a standard reference for the history of logic is Kneale & Kneale The development of logic, Oxford University Press, 1985.

Recreational