%0 Journal Article
%A Branislav R. Boričić
%T Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus
%J Publications de l'Institut Mathématique
%D 1981
%P 23 
%V _N_S_29
%N 43
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1981_N_S_29_43_a2/
%G en
%F PIM_1981_N_S_29_43_a2