Exercises

1. Reasoning in intuitionistic logic
   Deadline: Monday, 4 November 1996

2. Programming with recursion operators
   Deadline: Monday, 25 November 1996

3. Advanced exercises
   Deadline: Friday, 13 December 1996