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	Naučni članak	Mp kategorija će biti prikazana naknadno.
1985	On some subsystems of Dummett’s LC	Boričić, Branislav	Naučni članak	22M22 - Međunarodni časopis kategorije M22
1985	On sequence-conclusion natural deduction systems	Boričić, Branislav	Naučni članak	Mp kategorija će biti prikazana naknadno.
1984	A note on some intermediate propositional calculi	Boričić, Branislav	Naučni članak	22M22 - Međunarodni časopis kategorije M22
1984	Matematika kroz primere i zadatke sa elementima teorije	Rakočević, Kovina; Pavlović, Velimir; Ivović, Miodrag; Boričić, Branislav ; Mušicki-Kovačević, Vesna	Udžbenik	Mp kategorija će biti prikazana naknadno.
1983	A decision procedure for certain disjunction-free intermediate propositional calculi	Boričić, Branislav	Naučni članak	Mp kategorija će biti prikazana naknadno.
1983	One of the possible formal descriptions of deducibility	Boričić, Branislav	Naučni članak	Mp kategorija će biti prikazana naknadno.
1981	Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus	Boričić, Branislav	Naučni članak	Mp kategorija će biti prikazana naknadno.