Recursive functionals (recursive operators, in the book). Myhill-Shepherdson Theorem. First recursion theorem [§10.1, §10.2, §10.3, without proofs]