Browsing eNauka
Browsing by Author Boričić, Branislav
Showing results 1 to 8 of 8
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia   | Doctoral theses | 70M70 |
| 2017 | Linearna algebra | Boričić, Branislav | Text book | Mp. category will be shown later |
| 2011 | Logic and Proof | Boričić, Branislav | Monograph | Mp. category will be shown later |
| 1998 | Matematika | Boričić, Branislav; Ivović, Miodrag | Monograph | Mp. category will be shown later |
| 2011 | Matematika | Boričić, Branislav; Ivović, Miodrag; Ilić, Mirjana | Text book | Mp. category will be shown later |
| 1986 | O nezavisnosti u formalnim teorijama | Boričić, Branislav | Article | Mp. category will be shown later |
| 1986 | Savremena metodologija u teoriskoj ekonomiji - uvod u matematičku logiku s primenom u teorijskoj ekonomiji | Eremić, Milan; Boričić, Branislav; Pavličić, Dubravka | Text book | Mp. category will be shown later |
| 2018 | Srpska akademija ekonomskih nauka : 1998-2018 | Boričić, Branislav | Monograph | Mp. category will be shown later |