An algebraic treatment of quantifier-free systems of arithmetic

Franco Montagna. An algebraic treatment of quantifier-free systems of arithmetic. Arch. Math. Log., 35(4):209-224, 1996. [doi]

Abstract

Abstract is missing.