Researchers
Došen, Kosta
Type
Date issued
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2017 | (uređivanje) - Logic Lectures: Gödel's Basic Logic Course at Notre Dame / edited by Miloš Adžić and Kosta Došen | Editorial works | Mp. category will be shown later | |
| 2014 | Gedel o aksiomatizaciji teorije skupova | Adžić, Miloš R.   | Doctoral theses | 70M70 |
| 2013 | (uređivanje) - Uređivački odbor | Editorial works | Mp. category will be shown later | |
| 2011 | (uređivanje) - Uredjivacki odbor | Editorial works | Mp. category will be shown later | |
| 2010 | (uređivanje) - Uređivački odbor | Editorial works | Mp. category will be shown later | |
| 1997 | Jednakosti izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Doctoral theses | 70M70 |
| 1994 | Substructural logics | Editorial works | Mp. category will be shown later | |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Doctoral theses | 70M70 |