Basic proof theory / A.S. Troelstra, H. Schwichtenberg.

Bibliographic Details

Main Author:	Troelstra, A. S. (Anne Sjerp)
Other Authors:	Schwichtenberg, Helmut, 1942-
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1996.
Series:	Cambridge tracts in theoretical computer science ; 43.
Subjects:	Proof theory.
Physical Description:	xi, 343 pages : illustrations ; 24 cm.
Format:	Book