Computing and Software 734
Formalized Mathematics
Winter 2014
Instructor:
William M. Farmer
Course Outline
(18-JAN-2014)
Questionnaire and Biographical Sketch form
Slides
Assignments
Presentations
References
(18-JAN-2014)