*Dirk Schlimm*

Due Monday, July 31, 2000

- Page 49, Problems 1 and 2.
- Page 52, Problem 1.
- Page 55, Problem 18.
- Page 65, Problem 29.

(For an example of how the proof should look like, consult the proof of "Small(c)" on

page 61.) - Page 90, Problem 63.

1. Read Handout #19. Do the following problems:

2. Read FOL, pages 51-64 (Sections 3.7-3.8). Do the following problems:

3. Read FOL, pages 88-90 (Section 3.12). The "Polish notation" should remind you of the Handout #16! Do the following problem: