Boričić, Branislav

Year from:

Year to:

Results 101-108 of 108 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
1988	On certain normalizable natural deduction formulations of some propositional intermediate logics	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	A note on some intermediate propositional calculi	Boričić, Branislav	Article	22M22
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
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