Istraživači

eNauka >  Researchers >  Borisavljević, Mirjana

Borisavljević, Mirjana

Rezultati 1-20 od 29
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2024Припремна настава из математике за упис у прву годину - збирка задатака са решењимаМилорадовић, Слободан; Борисављевић, Мирјана  ; Ћирић, Нинослав; Левајковић, Тијана; Кукић, Катарина  ; Илић, Дејан  Udžbenik
Mp kategorija će biti prikazana naknadno.
2022The Elimination of Maximum Cuts in Linear Logic and BCK LogicBorisavljevic, Mirjana P  Naučni članak
21aM21a - Vodeći međunarodni časopis kategorije M21a
2022Збирка решених задатака из математике 1Левајковић, Тијана ; Кукић, Катарина  ; Илић, Дејан  ; Јеловић, Ана  ; Борисављевић, Мирјана  ; Ћирић, Нинослав ; Перовић, Александар  Udžbenik
Mp kategorija će biti prikazana naknadno.
2022Maximum Segments as Natural Deduction Images of Some CutsBorisavljevic, Mirjana P  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2021The subformula property of natural deduction derivations and analytic cutsBorisavljevic, Mirjana P  Naučni članak
21aM21a - Vodeći međunarodni časopis kategorije M21a
2021Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjimaMiloradović, Slobodan ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Levajković, Tijana ; Kukić, Katarina  ; Ilić, Dejan  Udžbenik
Mp kategorija će biti prikazana naknadno.
2019Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjimaMiloradović, Slobodan ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Levajković, Tijana ; Kukić, Katarina  ; Ilić, Dejan  Udžbenik
Mp kategorija će biti prikazana naknadno.
2019Zbirka rešenih zadataka iz matematike 1Levajković, Tijana ; Kukić, Katarina  ; Ilić, Dejan  ; Jelović, Ana  ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Perović, Aleksandar  Udžbenik
Mp kategorija će biti prikazana naknadno.
2018AN ANALYSIS OF THE RULES OF GENTZENS NJ AND LJBorisavljević, Mirjana  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2017The Normalization Theorem for Extended Natural DeductionBorisavljevic, Mirjana  Naučni članak
24M24 - Vodeći nacionalni časopis kategorije M24
2017Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjimaMiloradović, Slobodan; Borisavljević, Mirjana  ; Ćirić, Ninoslav; Levajković, Tijana; Kukić, Katarina  ; Ilić, DejanUdžbenik
Mp kategorija će biti prikazana naknadno.
2016Увод у логику - Део 2.Борисављевић, Мирјана П.  Udžbenik
Mp kategorija će biti prikazana naknadno.
2015Zbirka rešenih zadataka iz matematike 1Levajković, Tijana ; Kukić, Katarina  ; Ilić, Dejan  ; Jelović, Ana  ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Perović, Aleksandar  Udžbenik
Mp kategorija će biti prikazana naknadno.
2014Pripremna nastava iz matematike za upis u prvu godinu : zbirka zadataka sa rešenjimaMiloradović, Slobodan ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Levajković, Tijana ; Ilić, Dejan  ; Kukić, Katarina  Udžbenik
Mp kategorija će biti prikazana naknadno.
2013History of Mathematical Logic in SerbiaBorisavljević, 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ć;
Poglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2010Maximum cuts in extended natural deductionBorisavljević, Mirjana  Naučni članak
24M24 - Vodeći nacionalni časopis kategorije M24
2010Connections between cuts and maximum segmentsBorisavljević, Mirjana  Naučni članak
51M51 - Vodeći nacionalni časopis kategorije M51
2010Doctoral dissertations in logic from Virtual library of Faculty of Mathematics in BelgradeBorisavljević, Mirjana  Naučni članak
53M53 - Nacionalni časopis kategorije M53
2009Uvod u logiku - Deo 1.Borisavljević, Mirjana  Monografija
Mp kategorija će biti prikazana naknadno.
2008NORMAL DERIVATIONS AND SEQUENT DERIVATIONSBorisavljevic, Mirjana P  Naučni članak
Mp kategorija će biti prikazana naknadno.