Researchers
Borisavljević, Mirjana
Results 1-20 of 29
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2024 | Припремна настава из математике за упис у прву годину - збирка задатака са решењима | Милорадовић, Слободан; Борисављевић, Мирјана   ; Ћирић, Нинослав; Левајковић, Тијана; Кукић, Катарина ; Илић, Дејан | Text book | Mp. category will be shown later |
| 2022 | The Elimination of Maximum Cuts in Linear Logic and BCK Logic | Borisavljevic, Mirjana P | Article | 21aM21a |
| 2022 | Збирка решених задатака из математике 1 | Левајковић, Тијана ; Кукић, Катарина ; Илић, Дејан ; Јеловић, Ана ; Борисављевић, Мирјана ; Ћирић, Нинослав ; Перовић, Александар | Text book | Mp. category will be shown later |
| 2022 | Maximum Segments as Natural Deduction Images of Some Cuts | Borisavljevic, Mirjana P | Article | 21M21 |
| 2021 | The subformula property of natural deduction derivations and analytic cuts | Borisavljevic, Mirjana P | Article | 21aM21a |
| 2021 | Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjima | Miloradović, Slobodan ; Borisavljević, Mirjana ; Ćirić, Ninoslav ; Levajković, Tijana ; Kukić, Katarina ; Ilić, Dejan | Text book | Mp. category will be shown later |
| 2019 | Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjima | Miloradović, Slobodan ; Borisavljević, Mirjana ; Ćirić, Ninoslav ; Levajković, Tijana ; Kukić, Katarina ; Ilić, Dejan | Text book | Mp. category will be shown later |
| 2019 | Zbirka rešenih zadataka iz matematike 1 | Levajković, Tijana ; Kukić, Katarina ; Ilić, Dejan ; Jelović, Ana ; Borisavljević, Mirjana ; Ćirić, Ninoslav ; Perović, Aleksandar | Text book | Mp. category will be shown later |
| 2018 | AN ANALYSIS OF THE RULES OF GENTZENS NJ AND LJ | Borisavljević, Mirjana | Article | 21M21 |
| 2017 | The Normalization Theorem for Extended Natural Deduction | Borisavljevic, Mirjana | Article | 24M24 |
| 2017 | Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjima | Miloradović, Slobodan; Borisavljević, Mirjana ; Ćirić, Ninoslav; Levajković, Tijana; Kukić, Katarina ; Ilić, Dejan | Text book | Mp. category will be shown later |
| 2016 | Увод у логику - Део 2. | Борисављевић, Мирјана П. | Text book | Mp. category will be shown later |
| 2015 | Zbirka rešenih zadataka iz matematike 1 | Levajković, Tijana ; Kukić, Katarina ; Ilić, Dejan ; Jelović, Ana ; Borisavljević, Mirjana ; Ćirić, Ninoslav ; Perović, Aleksandar | Text book | Mp. category will be shown later |
| 2014 | Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjima | Miloradović, Slobodan ; Borisavljević, Mirjana ; Ćirić, Ninoslav ; Levajković, Tijana ; Ilić, Dejan ; Kukić, Katarina | Text book | Mp. category will be shown later |
| 2013 | History of Mathematical Logic in Serbia | Borisavljević, Mirjana ; Đorđe Vukomanović; Gilezan, Silvia ; Janičić, Predrag Đ. ; Krapež, Aleksandar ; Kurilić, Miloš S. ; Zoran Marković; Žarko Mijajlović; Ognjanović, Zoran ; Pantović, Jovanka ;
Petrić, Zoran
; Miomir Stanković; Stanković, Radomir ; Ivan Stojmenović; | Book parts | Mp. category will be shown later |
| 2010 | Maximum cuts in extended natural deduction | Borisavljević, Mirjana | Article | 24M24 |
| 2010 | Connections between cuts and maximum segments | Borisavljević, Mirjana | Article | 51M51 |
| 2010 | Doctoral dissertations in logic from Virtual library of Faculty of Mathematics in Belgrade | Borisavljević, Mirjana | Article | 53M53 |
| 2009 | Uvod u logiku - Deo 1. | Borisavljević, Mirjana | Monograph | Mp. category will be shown later |
| 2008 | NORMAL DERIVATIONS AND SEQUENT DERIVATIONS | Borisavljevic, Mirjana P | Article | Mp. category will be shown later |