Година од:

Година до:

Резултати 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 - Одбрањена докторска дисертација