Handouts

Handout 1

Lecture 2: A Tutorial in Z

Handout 2

Lecture 2: Binary Relations and Functions

Handout 3

Lecture 4: A Tutorial in Z (con'd)

Handout 6

Lecture 9: More Reasoning

Created May 18, 1995 16:16:28 by abowd@cc