BU CLA MA 531: Computability and Logic

Fall 1995

Problem Set 9 (due Friday 95.11.10)


  1. Exercise 1, p 215.

  2. Exercise 2, p 216.


Assaf Kfoury
Created: 95.11.03