Proofs and computations - Schwichtenberg, Helmut; Wainer, Stanley S. (Cambridge Cambridge University Press, 2012)
Keywords: Computable functions; Proof theory