Browsing eNauka
Browsing by Author Borisavljević, Mirjana
Showing results 1 to 20 of 29
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2006 | A connection between cut elimination and normalization | Borisavljević, Mirjana   | Article | 22M22 |
| 1995 | A connection between cut elimination and normalization | Borisavljevic, Mirjana | Article | Mp. category will be shown later |
| 1999 | A cut-elimination proof in intuitionistic predicate logic | Borisavljevic, Mirjana | Article | 21M21 |
| 2018 | AN ANALYSIS OF THE RULES OF GENTZENS NJ AND LJ | Borisavljević, Mirjana | Article | 21M21 |
| 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 |
| 2004 | Extended natural deduction images of conversions from the system of sequents | Borisavljević, Mirjana | Article | 22M22 |
| 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 |
| 2002 | Kauffman monoids | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2010 | Maximum cuts in extended natural deduction | Borisavljević, Mirjana | Научни чланак | 24M24 - Водећи национални часопис категорије M24 |
| 2022 | Maximum Segments as Natural Deduction Images of Some Cuts | Borisavljevic, Mirjana P | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2003 | Minimum segments in sequent derivations | Borisavljevic, Mirjana | Article | Mp. category will be shown later |
| 2008 | NORMAL DERIVATIONS AND SEQUENT DERIVATIONS | Borisavljevic, Mirjana P | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Normal Form Theorem for Systems of Sequents | Borisavljević, Mirjana | Article | Mp. category will be shown later |
| 2000 | On permuting cut with contraction | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2024 | Припремна настава из математике за упис у прву годину - збирка задатака са решењима | Милорадовић, Слободан; Борисављевић, Мирјана ; Ћирић, Нинослав; Левајковић, Тијана; Кукић, Катарина ; Илић, Дејан | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 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 | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 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 |
| 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 | Udžbenik | Mp kategorija će biti prikazana naknadno. |