Researchers
Boričić, Branislav
Type
- 50 Text book
- 35 Article
- 17 Conference Paper
- 5 Monograph
- 1 Book parts
Date issued
- 85 2000 - 2027
- 23 1901 - 1999
Results 101-108 of 108
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 1988 | A note on sequent calculi intermediate between LJ and LK | Boričić, Branislav   | Article | Mp. category will be shown later |
| 1985 | On some subsystems of Dummett’s LC | Boričić, Branislav | Article | 22M22 |
| 1985 | On sequence-conclusion natural deduction systems | Boričić, Branislav | Article | Mp. category will be shown later |
| 1984 | Matematika kroz primere i zadatke sa elementima teorije | Rakočević, Kovina; Pavlović, Velimir; Ivović, Miodrag; Boričić, Branislav ; Mušicki-Kovačević, Vesna | Text book | Mp. category will be shown later |
| 1984 | A note on some intermediate propositional calculi | Boričić, Branislav | Article | 22M22 |
| 1983 | A decision procedure for certain disjunction-free intermediate propositional calculi | Boričić, Branislav | Article | Mp. category will be shown later |
| 1983 | One of the possible formal descriptions of deducibility | Boričić, Branislav | Article | Mp. category will be shown later |
| 1981 | Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus | Boričić, Branislav | Article | Mp. category will be shown later |