Аксиоматическая арифметика без умножения

[alex_dorin]

Подскажите литературу об аксиоматической арифметике без умножения

[Sonic86]

Если имеется ввиду арифметика Пресбургера, то можно кое-что найти в Лекциях по математической логике и теории алгоритмов Верещагина и Шеня. Там есть и доказательство того, что эта теория разрешима.

[Xaositect]

Собственно, кроме полноты и разрешимости там доказывать особо нечего. Можно посмотреть A.R.Bradley, Z.Manna "The Calculus of Computation", там более подробно о разных приемах при элиминации кванторов.