کتاب های Kosta Došen
Substructural Logics
Kosta Došen, 1994
Proof-Net Categories
Kosta DoSen, 2007
Cut Elimination in Categories
Kosta Došen, 1999, 2008
Cut Elimination in Categories
Kosta Došen, 1999
Osnovna logika
Kosta Došen, 2013
Proof-Theoretical Coherence
Kosta Dosen, Zoran Petric, 2015
