Došen, Kosta
Loading...
3
0
20
0
false
Full Name
Došen, Kosta
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Results 1-3 of 3 (Search time: 0.001 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Došen, Kosta ; Adžić, Miloš | Gödel on Deduction | 15-Feb-2019 | Studia Logica; 107(1); 31-51 | M22 |
2 | Došen, Kosta ; Adžić, Miloš | Gödel’s Natural Deduction | 1-Apr-2018 | Studia Logica; 106(2); 397-415 | M22 |
3 | Adžić, Miloš; Došen, Kosta | Gödel's notre dame course | 1-Dec-2016 | Bulletin of Symbolic Logic; 22(4); 469-481 | M21 |
Results 1-1 of 1 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |