Basic proof theory /

Bibliographic Details

Main Author:	Troelstra, A. S. (Anne Sjerp)
Other Authors:	Schwichtenberg, Helmut, 1942-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2000.
Edition:	2nd ed.
Series:	Cambridge tracts in theoretical computer science ; 43.
Subjects:	Proof theory.