Enlarge

Cut elimination in categories

Kosta Došen

Publication Data

Title Cut elimination in categories
Author Kosta Došen
Publisher Kluwer Academic
Publication date 1999
Publication location Dordrecht
Language English

Topics

Elimination
Proof theory
Categories (Mathematics)

Catalogue Data

OBNB ID GB9946519
ISBN 10 0792357205
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 512.4

ISBD

P1053 xii, 229p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Cut elimination in categories by Kosta Došen. ISBN 0792357205. Published by Kluwer Academic in 1999. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.