Kosta Došen
3 published titles
Substructural logics
(Contributor)
1 edition
- ISBN: 0198537778
- Clarendon
- 1993
- Details
Cut elimination in categories
1 edition
- ISBN: 0792357205
- Kluwer Academic
- 1999
- Details
Proof-theoretical coherence
1 edition
- ISBN: 1904987060
- King's College Publications
- 2004
- Details
