Istraživači
Boričić, Branislav
Godina
- 18 2020 - 2027
- 43 2010 - 2019
- 22 2000 - 2009
- 14 1990 - 1999
- 9 1980 - 1989
Mp-kat.
- 48 ostalo
- 22 M20/M50
- 17 M30/M60
- 6 M10/M40
- 3 M22 - Međunarodni časopis kategorije M22
- 2 M21 - Vodeći međunarodni časopis kategorije M21
- 2 M24 - Vodeći nacionalni časopis kategorije M24
- 1 M21a - Vodeći međunarodni časopis kategorije M21a
- 1 M21a+ - Vodeći međunarodni časopis kategorije M21a+
- 1 M23 - Međunarodni časopis kategorije M23
- sledeći >
Godina - raspon
Rezultati 101-106 od 106
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 1985 | On some subsystems of Dummett’s LC | Boričić, Branislav   | Naučni članak | 22M22 - Međunarodni časopis kategorije 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 | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 1984 | A note on some intermediate propositional calculi | Boričić, Branislav | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 1983 | A decision procedure for certain disjunction-free intermediate propositional calculi | Boričić, Branislav | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1983 | One of the possible formal descriptions of deducibility | Boričić, Branislav | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1981 | Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus | Boričić, Branislav | Naučni članak | Mp kategorija će biti prikazana naknadno. |