Истраживачи
Došen, Kosta
Година
Мп-кат.
Година - распон
Резултати 1-8 од 8
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2017 | (uređivanje) - Logic Lectures: Gödel's Basic Logic Course at Notre Dame / edited by Miloš Adžić and Kosta Došen | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Gedel o aksiomatizaciji teorije skupova | Adžić, Miloš R.   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | (uređivanje) - Uređivački odbor | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2011 | (uređivanje) - Uredjivacki odbor | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2010 | (uređivanje) - Uređivački odbor | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Jednakosti izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1994 | Substructural logics | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |