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

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