Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2017 | Abbrev.[iated] editorial introduction | Adžić, Miloš R. ; Došen, Kosta M. | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2016 | On The Paths of Categories - An Introduction to Deduction | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2016 | Goedel's Notre Dame course | Došen, Kosta ; Adžić, Miloš | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2016 | Comments on An Opinion | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2016 | On sets of premises | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2016 | Rajdemajster za serpentine | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | Represnting conjunctive deductions by disjunctive deductions | Došen, Kosta ; Petrić, Zoran | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2016 | Godel's Notre Dame course | Adžić, Miloš ; Dosen, Kosta | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
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. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | Gödel on deduction | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | General Proof Theory | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | An introduction to Deduction | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | A planarity criterion for graphs | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2015 | Comments on an Opinion | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2015 | Lambek's proof theory | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | On exactitude | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | Adjunction and Normalization in Categories of Logic | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2015 | On the Paths of Categories | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2015 | Inferential Semantics | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2015 | Weak cat-operads | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |