Istraživači
Došen, Kosta
Godina
Mp-kat.
Godina - raspon
Rezultati 1-8 od 8
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2017 | (uređivanje) - Logic Lectures: Gödel's Basic Logic Course at Notre Dame / edited by Miloš Adžić and Kosta Došen | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Gedel o aksiomatizaciji teorije skupova | Adžić, Miloš R.   | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | (uređivanje) - Uređivački odbor | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | (uređivanje) - Uredjivacki odbor | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | (uređivanje) - Uređivački odbor | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | Jednakosti izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1994 | Substructural logics | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |