Researchers
Došen, Kosta
Type
Date issued
Results 1-8 of 8
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2017 | (uređivanje) - Logic Lectures: Gödel's Basic Logic Course at Notre Dame / edited by Miloš Adžić and Kosta Došen | No authors | Editorial works | Mp. category will be shown later |
| 2014 | Gedel o aksiomatizaciji teorije skupova | Adžić, Miloš R.   | Doctoral theses | 70M70 |
| 2013 | (uređivanje) - Uređivački odbor | No authors | Editorial works | Mp. category will be shown later |
| 2011 | (uređivanje) - Uredjivacki odbor | No authors | Editorial works | Mp. category will be shown later |
| 2010 | (uređivanje) - Uređivački odbor | No authors | Editorial works | Mp. category will be shown later |
| 1997 | Jednakosti izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran | Doctoral theses | 70M70 |
| 1994 | Substructural logics | No authors | Editorial works | Mp. category will be shown later |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Doctoral theses | 70M70 |