31 octobre - 6 novembre
Résumé de section
-
-
-
The diagonal method [§4.3]
-
-
-
The smn theorem (or parametrisation theorem) [§4.4 and proof in lecture notes (Theorem 11.2)]
-
-