Cut elimination in categories

• Κύριος συγγραφέας: Dosen, Kosta
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht Kluwer Academic 1999
• Σειρά: Trends in logic 6
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xii, 229 p. fig. 25 cm.
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 0792357205