TY  - BOOK
AU  - Schwichtenberg,Helmut
AU  - Wainer,S.S.
ED  - Association for Symbolic Logic.
TI  - Proofs and computations
T2  - Perspectives in logic
SN  - 9780521517690
U1  - 511.352 22
PY  - 2012///
CY  - Ithaca, NY, Cambridge, New York
PB  - Association for Symbolic Logic, Cambridge University Press
KW  - Computable functions
KW  - Proof theory
N1  - Includes bibliographical references (p. 431-455) and index
UR  - http://www.loc.gov/catdir/enhancements/fy1208/2011276796-t.html
UR  - http://www.loc.gov/catdir/enhancements/fy1208/2011276796-b.html
UR  - http://www.loc.gov/catdir/enhancements/fy1208/2011276796-d.html
ER  -