back to CS486
Course Homepage

HANDOUTS
CS 486: Applied Logic Spring 2003

Lecture 1 Handout


"Implementing Metamathematics as an Approach to Automatic Theorem Proving"
by Robert Constable and Doug Howe.


Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: juanita@cs.cornell.edu