15 décembre - 21 décembre
Résumé de section
-
-
-
Recursive functionals (recursive operators, in the book). Myhill-Shepherdson Theorem. First recursion theorem [§10.1, §10.2, §10.3, without proofs]
-
-
-
Second recursion theorem [§11.1, §11.2]
-
-