BU CLA MA 531: Computability and Logic

Fall 1995

Problem Set 4 (due Friday 95.10.06)

1. Exercise 19, p 96.
   

2. Exercise 5, p 140, part (b) only.
   (This is based on part (a) of the same exercise, which was assigned last week,
   and part (a) of Exercise 19, p 96.)
   

Assaf Kfoury

Created: 95.09.28