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

• Κύριος συγγραφέας: Ungar, A. M. (Anthony M.), 1945- (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Stanford, CA : CSLI, c1992.
• Σειρά: CSLI lecture notes 28.
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: v, 236 σ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0937073830; 0937073822