BU
CLA
MA
531:
Computability and Logic
Fall 1995
Problem Set 11 (due Friday 95.12.01)
Exercise 1, p 266.
Exercise 2, p 266.
Exercise 3, p 266.
Proof read Handout 4. Report back comments and/or questions and/or mistakes.
Assaf Kfoury
Created: 95.11.16