Cover Image

Normalization, cut-elimination, and the theory of proofs /

Bibliographic Details
Main Author: Ungar, A. M. (Anthony M.), 1945-
Format: Book
Language:English
Published: [Stanford, Calif.] : CSLI, [1992]
Series:CSLI lecture notes ; no. 28.
Subjects:
Proof theory.

Remote Storage

Holdings details from Remote Storage
Call Number: QA9.54 .U54 1992
 
Call Number Status Get It
QA9.54 .U54 1992 Available