Computer Science 773
Formalized Mathematics
Winter 2002

Instructor: William M. Farmer

Course Outline (3-JAN-2002) PostScript PDF

Slides

Exercises

References