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 | 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 | Text book | Mp. category will be shown later |
| 2019 | Zbirka rešenih zadataka iz matematike 1![]() | Levajković, Tijana | 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 | 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 | 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 | Text book | Mp. category will be shown later |
| 2013 | History of Mathematical Logic in Serbia![]() | Borisavljević, Mirjana | 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 |
