Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus

Branislav_R. Boričić