CS 486: Applied Logic | Spring 1999 |
Announcements | Summary | Administration | Assignments | Spring 97 |
Web Links | Lecture Notes | Handouts | Reference Material | Nuprl |
Joan Lockwood, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: joan@cs.cornell.edu |