Истраживачи
Boričić, Branislav
Година
- 18 2020 - 2027
- 43 2010 - 2019
- 22 2000 - 2009
- 14 1990 - 1999
- 9 1980 - 1989
Мп-кат.
- 48 остало
- 22 M20/M50
- 17 M30/M60
- 6 M10/M40
- 3 M22 - Међународни часопис категорије M22
- 2 M21 - Водећи међународни часопис категорије M21
- 2 M24 - Водећи национални часопис категорије M24
- 1 M21a - Водећи међународни часопис категорије M21a
- 1 M21a+ - Водећи међународни часопис категорије M21a+
- 1 M23 - Међународни часопис категорије M23
- следећи >
Година - распон
Резултати 101-106 од 106
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1985 | On some subsystems of Dummett’s LC | Boričić, Branislav   | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 1984 | A note on some intermediate propositional calculi | Boričić, Branislav | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 1984 | Matematika kroz primere i zadatke sa elementima teorije | Rakočević, Kovina; Pavlović, Velimir; Ivović, Miodrag; Boričić, Branislav ; Mušicki-Kovačević, Vesna | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 1983 | A decision procedure for certain disjunction-free intermediate propositional calculi | Boričić, Branislav | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1983 | One of the possible formal descriptions of deducibility | Boričić, Branislav | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1981 | Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus | Boričić, Branislav | Научни чланак | Мп категорија ће бити приказана накнадно. |