Истраживачи

Резултати 1-20 од 29
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2024Припремна настава из математике за упис у прву годину - збирка задатака са решењимаМилорадовић, Слободан; Борисављевић, Мирјана  ; Ћирић, Нинослав; Левајковић, Тијана; Кукић, Катарина  ; Илић, Дејан  Уџбеник
Мп категорија ће бити приказана накнадно.
2022The Elimination of Maximum Cuts in Linear Logic and BCK LogicBorisavljevic, Mirjana P  Научни чланак
21aM21a - Водећи међународни часопис категорије M21a
2022Збирка решених задатака из математике 1Левајковић, Тијана ; Кукић, Катарина  ; Илић, Дејан  ; Јеловић, Ана  ; Борисављевић, Мирјана  ; Ћирић, Нинослав ; Перовић, Александар  Уџбеник
Мп категорија ће бити приказана накнадно.
2022Maximum Segments as Natural Deduction Images of Some CutsBorisavljevic, Mirjana P  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2021The subformula property of natural deduction derivations and analytic cutsBorisavljevic, Mirjana P  Научни чланак
21aM21a - Водећи међународни часопис категорије 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  Уџбеник
Мп категорија ће бити приказана накнадно.
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  Уџбеник
Мп категорија ће бити приказана накнадно.
2019Zbirka rešenih zadataka iz matematike 1Levajković, Tijana ; Kukić, Katarina  ; Ilić, Dejan  ; Jelović, Ana  ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Perović, Aleksandar  Уџбеник
Мп категорија ће бити приказана накнадно.
2018AN ANALYSIS OF THE RULES OF GENTZENS NJ AND LJBorisavljević, Mirjana  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2017The Normalization Theorem for Extended Natural DeductionBorisavljevic, Mirjana  Научни чланак
24M24 - Водећи национални часопис категорије 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ć, DejanУџбеник
Мп категорија ће бити приказана накнадно.
2016Увод у логику - Део 2.Борисављевић, Мирјана П.  Уџбеник
Мп категорија ће бити приказана накнадно.
2015Zbirka rešenih zadataka iz matematike 1Levajković, Tijana ; Kukić, Katarina  ; Ilić, Dejan  ; Jelović, Ana  ; Borisavljević, Mirjana  ; Ćirić, Ninoslav ; Perović, Aleksandar  Уџбеник
Мп категорија ће бити приказана накнадно.
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  Уџбеник
Мп категорија ће бити приказана накнадно.
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ć;
Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2010Maximum cuts in extended natural deductionBorisavljević, Mirjana  Научни чланак
24M24 - Водећи национални часопис категорије M24
2010Connections between cuts and maximum segmentsBorisavljević, Mirjana  Научни чланак
51M51 - Водећи национални часопис категорије M51
2010Doctoral dissertations in logic from Virtual library of Faculty of Mathematics in BelgradeBorisavljević, Mirjana  Научни чланак
53M53 - Национални часопис категорије M53
2009Uvod u logiku - Deo 1.Borisavljević, Mirjana  Монографија
Мп категорија ће бити приказана накнадно.
2008NORMAL DERIVATIONS AND SEQUENT DERIVATIONSBorisavljevic, Mirjana P  Научни чланак
Мп категорија ће бити приказана накнадно.