Istraživači

Rezultati 21-40 od 48
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2016Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2016MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Udžbenik
Mp kategorija će biti prikazana naknadno.
2016An alternative natural deduction for the intuitionistic propositional logicIsaković-Ilić, Mirjana  Naučni članak
23M23 - Međunarodni časopis kategorije M23
2016An alternative Gentzenisation of RW+∘Ilić, Mirjana  Naučni članak
23M23 - Međunarodni časopis kategorije M23
2016Natural deduction for RW+oIsaković-Ilić, Mirjana  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2016O prvom izvodu funkcije kroz primereIsaković-Ilić, Mirjana  Naučni članak
Mp kategorija će biti prikazana naknadno.
2015The proof—theoretical analysis of contraction—less relevant logicIsaković-Ilić, Mirjana  Naučni članak
Mp kategorija će biti prikazana naknadno.
2015Nastava matematike na Ekonomskom fakultetu u Beogradu od osnivanja do danasBoričić, Branislav  ; Ilić, Mirjana  Naučni članak
Mp kategorija će biti prikazana naknadno.
2015Sequent calculi for contraction--less relevant logicsIsaković-Ilić, Mirjana  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2014Is t really needed in formulating sequent calculi for elevant logics?Isaković-Ilić, Mirjana  ; Boričić, Branislav  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2014Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2014Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne školeIsaković-Ilić, Mirjana  Naučni članak
Mp kategorija će biti prikazana naknadno.
2014An intuitionistic interpretation of classical implicationBoričić, Branislav  ; Ilić, Mirjana  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2014An Alternative Normalization of the Implicative Fragment of Classical LogicBoričić, Branislav  ; Ilić, Mirjana  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2014A cut-free sequent calculus for relevant logic RWIlić, Mirjana  ; Boričić, Branislav  Naučni članak
21a+M21a+ - Vodeći međunarodni časopis kategorije M21a+
2014MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Udžbenik
Mp kategorija će biti prikazana naknadno.
2013Problems in formulating the consecution calculus of contraction--less relevant logicsIsaković-Ilić, Mirjana  ; Boričić, Branislav  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2012MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Udžbenik
Mp kategorija će biti prikazana naknadno.
2012Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2011Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Udžbenik
Mp kategorija će biti prikazana naknadno.