Logic and Computation

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