BU
CLA
MA
531:
Computability and Logic
Fall 1995
Problem Set 9 (due Friday 95.11.10)
Exercise 1, p 215.
Exercise 2, p 216.
Assaf Kfoury
Created: 95.11.03