BU CLA MA 531: Computability and Logic

Fall 1995

Problem Set 11 (due Friday 95.12.01)


  1. Exercise 1, p 266.

  2. Exercise 2, p 266.

  3. Exercise 3, p 266.

  4. Proof read Handout 4. Report back comments and/or questions and/or mistakes.


Assaf Kfoury
Created: 95.11.16