TY  - DATA
AU  - Pohlers,Wolfram
ED  - SpringerLink (Servicio en linea)
TI  - Proof Theory: The First Step into Impredicativity 
SN  - 9783540693192
AV  - Libro electrónico (Catalogación en proceso) 
PY  - 2009///
CY  - Berlin
PB  - Springer
KW  - Lógica simbólica y matemática
KW  - Libros electrónicos
KW  - local
N1  - Acceso sólo para usuarios de REDUNAM; Disponible también en formato impreso; Reproducción electrónica; New York : Springer; [2009]
UR  - http://dx.doi.org/10.1007/978-3-540-69319-2
ER  -