31 ottobre - 6 novembre
Schema della sezione
-
-
-
The diagonal method [§4.3]
-
-
-
The smn theorem (or parametrisation theorem) [§4.4 and proof in lecture notes (Theorem 11.2)]
-
-