BU CLA MA 531: Computability and Logic

Fall 1995

Problem Set 3 (due Friday 95.09.29)


  1. Exercise 4, pp 139-140.

  2. Exercise 5, p 140. Do part (a) only.

  3. Exercise 6, p 140.


Assaf Kfoury
Created: 95.09.21