CS 8803 Formal Modeling and Analysis of Computing Systems
Spring 2002

Instructor: Pete Manolios

Small Machine Handout Postscript | Text

Handout on Relations and Ordinals

Notes on Logic