Computer Science 773
Formalized Mathematics
Winter 2001
Instructor:
William M. Farmer
Course Outline
(
PostScript
or
PDF
)
Slides
Exercises
References