Година од:

Година до:

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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 - Одбрањена докторска дисертација