The next meeting

Our next meeting take place Tuesday 10:15. You find the link below.

We will discuss the exercises in Section 7.3 (primitive recursion). Maybe we also will start to discuss the material in Section 7.4.