Textbooks and Monographs in Logic Branislav Boričić — 2012 Review of the National Center for Digitization
A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi Branislav R. Boričić — 1983 Publications de l'Institut Mathématique
One of the Possible Formal Desribtions of Deducubility Branislav R. Boričić — 1983 Publications de l'Institut Mathématique
Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus Branislav R. Boričić — 1981 Publications de l'Institut Mathématique