Boričić, Branislav

Godina od:

Godina do:

Rezultati 101-108 od 108 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
1988	On certain normalizable natural deduction formulations of some propositional intermediate logics	Boričić, Branislav	Article	Mp. category will be shown later
1985	On sequence-conclusion natural deduction systems	Boričić, Branislav	Article	Mp. category will be shown later
1985	On some subsystems of Dummett’s LC	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
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