Recursion. Functions. Machines. Lambda calculus. Tennembaum’s theorem. Incompleteness. Well-quasi-orders. Degree theory. Omitting types.