Building Blocks for Theoretical Computer Science - University of Illinois CS

The latest version is 1.3. See bottom for pointers to old versions. You can download the whole book as a single pdf file, or select from the individual files below. Please send reports of bugs to Margaret Fleck to add to the errata file. Instructors may find the instructor manual helpful.