Истраживачи
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 - Одбрањена докторска дисертација |