TY  - BOOK
AU  - Takeuti, Gaisi
TI  - Proof theory
SN  - 0-444-87943-9
AV  - QA 9.54 T34.1987
CY  - Amsterdam
PB  - North-Holland
KW  - Teoria de la prueba logica
N1  - acc. 160075; Incluye apendice, referencias e indice; "Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968."
ER  -