Normalization, cut-elimination, and the theory of proofs / A.M. Ungar.

Bibliographic Details

Uniform Title:	CSLI lecture notes ; no. 28.
Main Author:	Ungar, A. M. (Anthony M.), 1945-
Language:	English
Published:	Stanford, CA : CSLI, [1992], ©1992.
Series:	CSLI lecture notes ; no. 28.
Subjects:	Proof theory.
Physical Description:	v, 236 pages : illustrations ; 24 cm.
Format:	Book