Researchers



Results 21-40 of 46
Issue DateTitleAuthor(s)TypeМp-cat.
2016Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Text book
Mp. category will be shown later
2016MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Text book
Mp. category will be shown later
2016An alternative natural deduction for the intuitionistic propositional logicIsaković-Ilić, Mirjana  Article
23M23
2016O prvom izvodu funkcije kroz primereIsaković-Ilić, Mirjana  Article
Mp. category will be shown later
2015Sequent calculi for contraction--less relevant logicsIsaković-Ilić, Mirjana  Conference Paper
Mp. category will be shown later
2015The proof—theoretical analysis of contraction—less relevant logicIsaković-Ilić, Mirjana  Article
Mp. category will be shown later
2015Nastava matematike na Ekonomskom fakultetu u Beogradu od osnivanja do danasBoričić, Branislav  ; Ilić, Mirjana  Article
Mp. category will be shown later
2014MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Text book
Mp. category will be shown later
2014Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne školeIsaković-Ilić, Mirjana  Article
Mp. category will be shown later
2014A cut-free sequent calculus for relevant logic RWIlić, Mirjana  ; Boričić, Branislav  Article
21a+M21a+
2014An Alternative Normalization of the Implicative Fragment of Classical LogicBoričić, Branislav  ; Ilić, Mirjana  Article
21M21
2014Is t really needed in formulating sequent calculi for elevant logics?Isaković-Ilić, Mirjana  ; Boričić, Branislav  Conference Paper
Mp. category will be shown later
2014An intuitionistic interpretation of classical implicationBoričić, Branislav  ; Ilić, Mirjana  Conference Paper
Mp. category will be shown later
2014Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Text book
Mp. category will be shown later
2013Problems in formulating the consecution calculus of contraction--less relevant logicsIsaković-Ilić, Mirjana  ; Boričić, Branislav  Conference Paper
Mp. category will be shown later
2012MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Text book
Mp. category will be shown later
2012Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Text book
Mp. category will be shown later
2011Sequents of Sequent Systems for Relevant LogicsIsaković-Ilić, Mirjana  Conference Paper
Mp. category will be shown later
2011MatematikaBoričić, Branislav; Ivović, Miodrag; Ilić, Mirjana  Text book
Mp. category will be shown later
2011Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Text book
Mp. category will be shown later