Researchers
Ilić, Mirjana
Type
Date issued
Results 21-40 of 46
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Text book | Mp. category will be shown later |
| 2016 | Matematika | Boričić, Branislav | Text book | Mp. category will be shown later |
| 2016 | An alternative natural deduction for the intuitionistic propositional logic | Isaković-Ilić, Mirjana | Article | 23M23 |
| 2016 | O prvom izvodu funkcije kroz primere | Isaković-Ilić, Mirjana | Article | Mp. category will be shown later |
| 2015 | Sequent calculi for contraction--less relevant logics | Isaković-Ilić, Mirjana | Conference Paper | Mp. category will be shown later |
| 2015 | The proof—theoretical analysis of contraction—less relevant logic | Isaković-Ilić, Mirjana | Article | Mp. category will be shown later |
| 2015 | Nastava matematike na Ekonomskom fakultetu u Beogradu od osnivanja do danas | Boričić, Branislav | Article | Mp. category will be shown later |
| 2014 | Matematika | Boričić, Branislav | Text book | Mp. category will be shown later |
| 2014 | Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne škole | Isaković-Ilić, Mirjana | Article | Mp. category will be shown later |
| 2014 | A cut-free sequent calculus for relevant logic RW | Ilić, Mirjana | Article | 21a+M21a+ |
| 2014 | An Alternative Normalization of the Implicative Fragment of Classical Logic![]() | Boričić, Branislav | Article | 21M21 |
| 2014 | Is t really needed in formulating sequent calculi for elevant logics? | Isaković-Ilić, Mirjana | Conference Paper | Mp. category will be shown later |
| 2014 | An intuitionistic interpretation of classical implication | Boričić, Branislav | Conference Paper | Mp. category will be shown later |
| 2014 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Text book | Mp. category will be shown later |
| 2013 | Problems in formulating the consecution calculus of contraction--less relevant logics | Isaković-Ilić, Mirjana | Conference Paper | Mp. category will be shown later |
| 2012 | Matematika | Boričić, Branislav | Text book | Mp. category will be shown later |
| 2012 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Text book | Mp. category will be shown later |
| 2011 | Sequents of Sequent Systems for Relevant Logics | Isaković-Ilić, Mirjana | Conference Paper | Mp. category will be shown later |
| 2011 | Matematika | Boričić, Branislav; Ivović, Miodrag; Ilić, Mirjana | Text book | Mp. category will be shown later |
| 2011 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Text book | Mp. category will be shown later |
