This is the home page for Logic and Computation, 80-310/610, Fall 2001.

Handouts

Course information: Pdf, Postscript, Dvi.

Prerequisites: Pdf, Postscript, Dvi.

Assignments

Assignment 14 (entirely optional): Pdf, Postscript, Dvi.

Assignment 13 (due December 5): Pdf, Postscript, Dvi.

Assignment 12 (due November 28): Pdf, Postscript, Dvi.

Assignment 11 (due November 14): Pdf, Postscript, Dvi.

Assignment 10 (due November 7): Pdf, Postscript, Dvi.

Assignment 9 (due October 31): Pdf, Postscript, Dvi.

Assignment 8 (due October 24): Pdf, Postscript, Dvi.

Assignment 7 (due October 10): Pdf, Postscript, Dvi.

Assignment 6 (due October 3): Pdf, Postscript, Dvi.

Assignment 5 (due September 26): Pdf, Postscript, Dvi.

Assignment 4 (due September 19): Pdf, Postscript, Dvi.

Assignment 3 (due September 12): Pdf, Postscript, Dvi.

Assignment 2 (due September 5): Pdf, Postscript, Dvi.

Assignment 1 (due August 29): Pdf, Postscript, Dvi.

Grade scale: Html.

Miscellaneous links

Association for Symbolic Logic
Mathematical Logic Around the World
Bibliography of Mathematical Logic
Foundations of Mathematics

American Mathematical Society
National Council of Teachers of Mathematics
Mathematics on the Web
Mathematical Resources on the Web
Cornell University Library Math Book Collection

MacTutor History of Mathematics Archive
History of Mathematics

The American Philosophical Association
Stanford Encyclopedia of Philosophy
Carnegie Mellon References for Philosophy