Researchers



Results 41-60 of 108
Issue DateTitleAuthor(s)TypeМp-cat.
2014A cut-free sequent calculus for relevant logic RWIlić, Mirjana  ; Boričić, Branislav  Article
21a+M21a+
2014An Alternative Normalization of the Implicative Fragment of Classical LogicBoričić, Branislav  ; Ilić, Mirjana  Article
21M21
2014MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Text book
Mp. category will be shown later
2014Impossibility theorems in multiple von Wright’s preference logicBoričić, Branislav  Article
24+M24+
2014Is t really needed in formulating sequent calculi for elevant logics?Isaković-Ilić, Mirjana  ; Boričić, Branislav  Conference Paper
Mp. category will be shown later
2014An intuitionistic interpretation of classical implicationBoričić, Branislav  ; Ilić, Mirjana  Conference Paper
Mp. category will be shown later
2014Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Text book
Mp. category will be shown later
2013Problems in formulating the consecution calculus of contraction--less relevant logicsIsaković-Ilić, Mirjana  ; Boričić, Branislav  Conference Paper
Mp. category will be shown later
2012MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Text book
Mp. category will be shown later
2012Erou-Senova teorija u kombinovanoj Fon Rajtovoj logici preferencijaBoričić, Branislav R.  Article
Mp. category will be shown later
2012Textbooks and monographs in logicBoričić, Branislav  Article
53M53
2012Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Text book
Mp. category will be shown later
2012Logičko obrazovanje studenata studijskog programa za vaspitačeBoričić, Branislav  ; Romano, D.A.; Todić, V.Article
Mp. category will be shown later
2011Dijagrami u nastavi logike i teorije skupovaBoričić, Branislav  Article
Mp. category will be shown later
2011Kompetencije srednjoškolaca o ranim konceptima prirodnih brojevaBoričić, Branislav  ; Romano, D.A.; Vinčić, M.Article
Mp. category will be shown later
2011Logic and Proof (Prikazi u: Zentralblatt fur Mathematik Zbl 1214.03043 i Mathematical Reviews MR 2011k:03001)Boričić, Branislav  Monograph
Mp. category will be shown later
2011Zbirka zadataka iz matematikeIvović, Miodrag; Boričić, Branislav  ; Ilić, Mirjana  ; Azdejković, Dragan  ; Stanojević, Jelena  Text book
Mp. category will be shown later
2011Kombinovana fon Rajtova logika preferencijaBoričić, Branislav  Conference Paper
Mp. category will be shown later
2010MatematikaBoričić, Branislav  ; Ivović, Miodrag; Ilić, Mirjana  Text book
Mp. category will be shown later
2010Textbooks and monographs in logicBoričić, Branislav  Conference Paper
Mp. category will be shown later