- ADDENDA ET CORRIGENDA for Proof-Net Categories, Polimetrica, Monza, 2007
- za predgovor, uvod i drugo poglavlje knjige Hilbertovi problemi i logika (autori: Zarko Mijajlovic, Zoran Markovic i Kosta Dosen,
- Addenda and Corrigenda January 2008
- THE JOURNAL OF SYMBOLIC LOGIC Volume 64, Number 1, March 1999
- Le concept de preuve la lumire de l'intelligence artificielle J. Sallantin et J.-J. Szczeciniarz eds
- A Prologue to the Theory of Deduction Kosta Dosen
- GLOSSAIRE PORTATIF DE LA GUERRE CIVILE YOUGOSLAVE
- Philippe Delaveau CAPITALE EN T
- Ostale publikacije 1) Cvetan Todorov: Pojam knjizevnosti (prevod na srpski sa Leonom Kojenom),
- Coherent Bicartesian and Sesquicartesian Kosta Dosen and Zoran Petric
- LOGIC is traditionally described as the theory of deduction. In a correct deduction we pass from sentences called premises to a sentence called conclusion, usually
- Proof-Theoretical Coherence Kosta Dosen and Zoran Petric
- Proof-Net Categories Kosta Dosen and Zoran Petric
- TORTUOUS APPLICATION Professor S.L. Achilles works in the Department of Computer Science of Dodgson
- The Typed Bohm Theorem Kosta Dosen
- One More Reference on Self-Reference There is a plethora of papers about self-reference in the logical and paramathematical
- Aa! , ! ,,Alien Registration Act"
- MODELS OF DEDUCTION Mathematical Institute, Belgrade
- LOGICAL CONSEQUENCE: A TURN IN STYLE
- Inferential Semantics Kosta Dosen
- General Proof Theory Kosta Dosen
