BU
CLA
MA
531:
Computability and Logic
Fall 1995
Problem Set 3 (due Friday 95.09.29)
Exercise 4, pp 139-140.
Exercise 5, p 140. Do part (a) only.
Exercise 6, p 140.
Assaf Kfoury
Created: 95.09.21