Research Catalog
Cut elimination in categories
- Title
- Cut elimination in categories / Kosta Došen.
- Author
- Došen, Kosta.
- Publication
- Dordrecht ; Boston : Kluwer Academic Publishers, c1999.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 99-1919 | Offsite |
Details
- Description
- xii, 229 p. : ill.; 25 cm.
- Series Statement
- Trends in logic ; v. 6
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 221-224) and index.
- Call Number
- JSE 99-1919
- ISBN
- 0792357205
- OCLC
- 41620229
- Author
- Došen, Kosta.
- Title
- Cut elimination in categories / Kosta Došen.
- Imprint
- Dordrecht ; Boston : Kluwer Academic Publishers, c1999.
- Series
- Trends in logic ; v. 6
- Bibliography
- Includes bibliographical references (p. 221-224) and index.
- Research Call Number
- JSE 99-1919