Proof and computations /
Schwichtenberg, Helmut,1942-
Wainer, S. S.
Association for Symbolic Logic.
Cambridge : Cambridge University Press [in association with] Association for Symbolic Logic,
2012.
Includes bibliographical references and index.
Computable functions.
Proof theory.