BU
CLA
MA
531:
Computability and Logic
Fall 1995
Problem Set 10 (due Friday 95.11.17)
Exercise 4, p 239.
Proof read Handouts 1, 2, 3, and 5. Report back comments and/or questions and/or mistakes.
(This is a way of forcing you to read the material!)
Assaf Kfoury
Created: 95.11.10