Basic proof theory /
Troelstra, A.S.
Basic proof theory / by A.S. Troelstra, H. Schwichtenberg. - Cambridge, N.Y. : Cambridge University Press, 1996. - xi, 343 p. - Cambridge Tracts in Theoretical Computer Science. .
Includes bibliographical references and index. Contents : N-systems and H-systems--Gentzen systems.
0521572231
Proof theory.
Basic proof theory / by A.S. Troelstra, H. Schwichtenberg. - Cambridge, N.Y. : Cambridge University Press, 1996. - xi, 343 p. - Cambridge Tracts in Theoretical Computer Science. .
Includes bibliographical references and index. Contents : N-systems and H-systems--Gentzen systems.
0521572231
Proof theory.