Homework No. 11

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

• Page 49, Problems 1 and 2.
• Page 52, Problem 1.

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

• 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.)

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

• Page 90, Problem 63.