Cut elimination in categories

• Main Author: Dosen, Kosta
• Format: Book
• Language: English
• Published: Dordrecht Kluwer Academic 1999
• Series: Trends in logic 6
• Subjects: Λογική, Συμβολική και μαθηματική
• Physical Description: xii, 229 p. fig. 25 cm.
• Bibliography: Includes bibliographical references and index
• ISBN: 0792357205