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: Λογική, Συμβολική και μαθηματική