New posts in presburger-arithmetic

logic proof-theory peano-axioms presburger-arithmetic

logic peano-axioms presburger-arithmetic

logic reference-request computability proof-theory presburger-arithmetic