Type

Date issued

27 2000 - 2027
2 1901 - 1999

Mp-cat.

9 other
5 M20/M50
4 M21
3 M22
2 M10/M40
2 M21a
2 M24
1 M51
1 M53

Date issued - custom

Year from:

Year to:

Results 1-20 of 29 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2024	Припремна настава из математике за упис у прву годину - збирка задатака са решењима	Милорадовић, Слободан; Борисављевић, Мирјана ; Ћирић, Нинослав; Левајковић, Тијана; Кукић, Катарина ; Илић, Дејан	Text book	Mp. category will be shown later
2022	Maximum Segments as Natural Deduction Images of Some Cuts	Borisavljevic, Mirjana P	Article	21M21
2022	Збирка решених задатака из математике 1	Левајковић, Тијана ; Кукић, Катарина ; Илић, Дејан ; Јеловић, Ана ; Борисављевић, Мирјана ; Ћирић, Нинослав ; Перовић, Александар	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
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
2021	The subformula property of natural deduction derivations and analytic cuts	Borisavljevic, Mirjana P	Article	21aM21a
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
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
2018	AN ANALYSIS OF THE RULES OF GENTZENS NJ AND LJ	Borisavljević, Mirjana	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2017	The Normalization Theorem for Extended Natural Deduction	Borisavljevic, Mirjana	Naučni članak	24M24 - Vodeći nacionalni časopis kategorije M24
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	Udžbenik	Mp kategorija će biti prikazana naknadno.
2016	Увод у логику - Део 2.	Борисављевић, Мирјана П.	Udžbenik	Mp kategorija će biti prikazana naknadno.
2015	Zbirka rešenih zadataka iz matematike 1	Levajković, Tijana ; Kukić, Katarina ; Ilić, Dejan ; Jelović, Ana ; Borisavljević, Mirjana ; Ćirić, Ninoslav ; Perović, Aleksandar	Udžbenik	Mp kategorija će biti prikazana naknadno.
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ć;	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2010	Connections between cuts and maximum segments	Borisavljević, Mirjana	Научни чланак	51M51 - Водећи национални часопис категорије M51
2010	Maximum cuts in extended natural deduction	Borisavljević, Mirjana	Научни чланак	24M24 - Водећи национални часопис категорије M24
2010	Doctoral dissertations in logic from Virtual library of Faculty of Mathematics in Belgrade	Borisavljević, Mirjana	Научни чланак	53M53 - Национални часопис категорије M53
2009	Uvod u logiku - Deo 1.	Borisavljević, Mirjana	Монографија	Мп категорија ће бити приказана накнадно.
2008	NORMAL DERIVATIONS AND SEQUENT DERIVATIONS	Borisavljevic, Mirjana P	Научни чланак	Мп категорија ће бити приказана накнадно.