TY  - BOOK
AU  - Troelstra,A.S.
AU  - Schwichtenberg,H.
TI  - Basic proof theory
SN  - 0521572231
PY  - 1996///
CY  - Cambridge, N.Y.
PB  - Cambridge University Press
KW  - Proof theory
N1  - Includes bibliographical references and index; Contents : N-systems and H-systems--Gentzen systems
ER  -