Истраживачи
Ilić, Mirjana
Тип
Резултати 1-20 од 31
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | Zbirka zadataka iz matematike (22. izd.)![]() | Ivović, Miodrag; Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | On sequent calculi proofs in relevant logics![]() | Ilić, Mirjana M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | A sequent calculus for positive relevant logic with necessity | Ilić, Mirjana M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Matematika | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2017 | A normalizing system of natural deduction for relevant logic | Ilić, Mirjana M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2017 | A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic | Ilić, Mirjana | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2016 | Natural deduction for RW+o | Isaković-Ilić, Mirjana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | An alternative Gentzenisation of RW+∘ | Ilić, Mirjana | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2016 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2016 | An alternative natural deduction for the intuitionistic propositional logic | Isaković-Ilić, Mirjana | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2016 | Matematika | Boričić, Branislav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2016 | O prvom izvodu funkcije kroz primere | Isaković-Ilić, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | Sequent calculi for contraction--less relevant logics | Isaković-Ilić, Mirjana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Nastava matematike na Ekonomskom fakultetu u Beogradu od osnivanja do danas | Boričić, Branislav | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | The proof—theoretical analysis of contraction—less relevant logic | Isaković-Ilić, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Is t really needed in formulating sequent calculi for elevant logics? | Isaković-Ilić, Mirjana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | An intuitionistic interpretation of classical implication | Boričić, Branislav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | An Alternative Normalization of the Implicative Fragment of Classical Logic![]() | Boričić, Branislav | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2014 | Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne škole | Isaković-Ilić, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
