Истраживачи
Došen, Kosta
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2014 | Gedel o aksiomatizaciji teorije skupova | Adžić, Miloš R.   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1997 | Jednakosti izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |