Proofs and computations
Schwichtenberg, Helmut
Proofs and computations Helmut Schwichtenberg, Stanley S. Wainer - Ithaca, NY Cambridge New York Association for Symbolic Logic Cambridge University Press 2012 - xiii, 465 p ill 24 cm - Perspectives in logic . - Perspectives in logic .
Contine bibliogr. si index
9780521517690 0521517699
2011276796
Computable functions
Proof theory
511.352
Proofs and computations Helmut Schwichtenberg, Stanley S. Wainer - Ithaca, NY Cambridge New York Association for Symbolic Logic Cambridge University Press 2012 - xiii, 465 p ill 24 cm - Perspectives in logic . - Perspectives in logic .
Contine bibliogr. si index
9780521517690 0521517699
2011276796
Computable functions
Proof theory
511.352