CS 671: Introduction to Automated Reasoning

Fall 1999

Course Administration


Professor Robert L. Constable, 4147 Upson Hall, rc@cs.cornell.edu and

Dr. Christoph Kreitz, 4159 Upson Hall, kreitz@cs.cornell.edu



Course Material

Notes for the October 6 & 20 lectures - Postscript

Handouts for the October 6 lecture - Postscript

Typed Logic by Robert Constable - HTML

Typed Logic by Robert Constable - Postscript

Martin LÖf Lectures - On the meaning of the logical constants and the justifications of the logical laws.