An introductory graduate-level course in foundations of mathematics. The topics covered are: computability, unsolvable problems, undecidability of the natural number system, decidability of the real number system, informal set theory, axiomatic set theory. Also provides a useful lectures/textbook index.
Rights:
Open access, free downloads at: http://www.math.psu.edu/simpson/courses/math558/ http://www.math.psu.edu/simpson/courses/math558/fom.pdf
