Proofs and computations /
Schwichtenberg, Helmut, 1942-
Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. - Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, c2012. - xiii, 465 p. : ill. ; 24 cm. - Perspectives in logic .
Includes bibliographical references (p. 431-455) and index.
9780521517690 0521517699
Computable functions.
Proof theory.
511.352 / SCP
Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. - Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, c2012. - xiii, 465 p. : ill. ; 24 cm. - Perspectives in logic .
Includes bibliographical references (p. 431-455) and index.
9780521517690 0521517699
Computable functions.
Proof theory.
511.352 / SCP