Proofs and computations - Schwichtenberg, Helmut 1942-; Wainer, S. S.; Association for Symbolic Logic (Ithaca, N.Y. Cambridge Association for Symbolic Logic Cambridge University Press, 2012)
Keywords: Computable functions; Proof theory