Истраживачи

Резултати 21-40 од 46
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2016MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Уџбеник
Мп категорија ће бити приказана накнадно.
2016An alternative natural deduction for the intuitionistic propositional logicIsaković-Ilić, Mirjana  Научни чланак
23M23 - Међународни часопис категорије M23
2016Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2016O prvom izvodu funkcije kroz primereIsaković-Ilić, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2015The proof—theoretical analysis of contraction—less relevant logicIsaković-Ilić, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2015Nastava matematike na Ekonomskom fakultetu u Beogradu od osnivanja do danasBoričić, Branislav  ; Ilić, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2015Sequent calculi for contraction--less relevant logicsIsaković-Ilić, Mirjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014A cut-free sequent calculus for relevant logic RWIlić, Mirjana  ; Boričić, Branislav  Научни чланак
21a+M21a+ - Водећи међународни часопис категорије M21a+
2014An intuitionistic interpretation of classical implicationBoričić, Branislav  ; Ilić, Mirjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014An Alternative Normalization of the Implicative Fragment of Classical LogicBoričić, Branislav  ; Ilić, Mirjana  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2014Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne školeIsaković-Ilić, Mirjana  Научни чланак
Мп категорија ће бити приказана накнадно.
2014MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Уџбеник
Мп категорија ће бити приказана накнадно.
2014Is t really needed in formulating sequent calculi for elevant logics?Isaković-Ilić, Mirjana  ; Boričić, Branislav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2013Problems in formulating the consecution calculus of contraction--less relevant logicsIsaković-Ilić, Mirjana  ; Boričić, Branislav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Уџбеник
Мп категорија ће бити приказана накнадно.
2012Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2011Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Уџбеник
Мп категорија ће бити приказана накнадно.
2011Sequents of Sequent Systems for Relevant LogicsIsaković-Ilić, Mirjana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2011MatematikaBoričić, Branislav; Ivović, Miodrag; Ilić, Mirjana  Уџбеник
Мп категорија ће бити приказана накнадно.