Cut elimination in categories
By: Kosta Došen.
Series: Trends in logic -- v. 6
Publisher: Kluwer Academic Publishers
Published: 1999
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 229
Subjects: Categories (Mathematics); Proof theory.
Notes: Includes bibliographical references (p. 221-224) and index.