Istraživači
Došen, Kosta
Rezultati 1-20 od 221
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2017 | Abbrev.[iated] editorial introduction | Adžić, Miloš R.   ; Došen, Kosta M. | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2016 | Is natural deduction natural? | Adžić, Miloš R. ; Ana Došen; Došen, Kosta M. ; Kostić, Jovana B. ; Maksimović, Katarina R. ; Milošević, Senka M. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | On The Paths of Categories - An Introduction to Deduction | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2016 | Gödel on deduction | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Represnting conjunctive deductions by disjunctive deductions | Došen, Kosta ; Petrić, Zoran | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
| 2016 | Godel's Notre Dame course | Adžić, Miloš ; Dosen, Kosta | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
| 2016 | On sets of premises | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2016 | Goedel's Notre Dame course | Došen, Kosta ; Adžić, Miloš | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
| 2016 | Comments on An Opinion | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2016 | Rajdemajster za serpentine | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Inferential Semantics | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2015 | Weak cat-operads | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2015 | On the Paths of Categories | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2015 | General Proof Theory | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | A planarity criterion for graphs | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2015 | Adjunction and Normalization in Categories of Logic | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An introduction to Deduction | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Lambek's proof theory | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Comments on an Opinion | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2015 | On exactitude | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |