Researchers
Ilić, Mirjana
Type
Date issued
Results 1-20 of 46
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Matematika (26. izd.) | Boričić, Branislav   ; Ivović, Miodrag; Ilić, Mirjana ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2025 | Zbirka zadataka iz matematike (26. izd.) | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana ; Azdejković, Dragan ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2023 | Zbirka zadataka iz matematike (25. izd.) | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana ; Azdejković, Dragan ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2023 | Matematika (25. izd.) | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2022 | Relevant reasoning | Ilić, Mirjana | Conference Paper | Mp. category will be shown later |
| 2021 | A Cut-Elimination Proof in Positive Relevant Logic with Necessity | Ilić, Mirjana | Article | 21aM21a |
| 2021 | Zbirka zadataka iz matematike (24. izd.) | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana ; Azdejković, Dragan ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2021 | Matematika (24. izd.) | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2021 | A note on the system GRW with the intensional contraction rule | Ilić, Mirjana ; Boričić, Branislav | Article | 21aM21a |
| 2021 | A note on an alternative Gentzenization of RW◦ + | Ilić, Mirjana | Article | 23M23 |
| 2020 | Matematika (23. izmenjeno i dopunjeno izd.) | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2019 | Zbirka zadataka iz matematike (22. izd.) | Ivović, Miodrag; Boričić, Branislav ; Ilić, Mirjana ; Azdejković, Dragan ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2019 | On sequent calculi proofs in relevant logics | Ilić, Mirjana M. | Conference Paper | Mp. category will be shown later |
| 2018 | A sequent calculus for positive relevant logic with necessity | Ilić, Mirjana M. | Conference Paper | Mp. category will be shown later |
| 2018 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Text book | Mp. category will be shown later |
| 2017 | Zbirka zadataka iz matematike | Ivović, Miodrag; Boričić, Branislav ; Ilić, Mirjana ; Azdejković, Dragan ; Stanojević, Jelena | Text book | Mp. category will be shown later |
| 2017 | A normalizing system of natural deduction for relevant logic | Ilić, Mirjana M. | Conference Paper | Mp. category will be shown later |
| 2017 | A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic | Ilić, Mirjana | Article | 23M23 |
| 2016 | Natural deduction for RW+o | Isaković-Ilić, Mirjana | Conference Paper | Mp. category will be shown later |
| 2016 | An alternative Gentzenisation of RW+∘ | Ilić, Mirjana | Article | 23M23 |