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

• Main Author: Ungar, A. M. (Anthony M.), 1945- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Stanford, CA : CSLI, c1992.
• Series: CSLI lecture notes 28.
• Subjects: Λογική, Συμβολική και μαθηματική
• Physical Description: v, 236 σ. : εικ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0937073830; 0937073822