An algebraic treatment of quantifier-free systems of arithmetic Franco Montagna OriginalPaper Pages: 209 - 224
Logic and probabilistic systems Franco MontagnaGiulia SimiAndrea Sorbi OriginalPaper Pages: 225 - 261