Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Cut Elimination in Categories

Cut Elimination in Categories

Book Informaton
Cut Elimination in Categories

Author

K. Dosen

Series

Trends in Logic

Year of Publication

1999

Publisher

Springer Netherlands

City of Publication

Dordrecht; Boston

Pages

XII, 229

Language

en

ISBN

9780792357209, 9789401712071, 0792357205

ARI Id

1664603592901

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 6 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Categories (Mathematics) Proof theory Categories (mathematics)