TY  - GEN
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 
PY  - 2012///
CY  - Ithaca, NY, Cambridge, New York
PB  - Association for Symbolic Logic, Cambridge University Press
KW  - Computable functions
KW  - Proof theory
N1  - Contine bibliogr. si 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  -