Course information

Homework Assignment 1

Homework Assignment 2

Set Theory: An Introduction to Independence Proofs by Kenneth Kunen

Herbert Enderton's commentary on his textbook.

Supplementary texts for the book Logic for Mathematics and Computer Science by Stanley N. Burris (Prentice Hall, 1998), including a text on the work of Cantor.

A home page for the Axiom of Choice by Eric Schechter of Vanderbilt University.

Meyer's or (Putnam's) Proof of the Existence of God by Alexander R. Pruss

Turing's

A notebook on Turing machines from Wolfram Research

Gödel's

Evolution of the Function Concept: A Brief Survey by Israel Kleiner

Notices of the AMS: Special issue on Formal Proof including an article by Thomas Hales