==See also==*Robinson arithmetic==References==* Cooper, D. C., 1972, "Theorem Proving in Arithmetic without Multiplication" in B. Meltzer and D. Michie, eds., "Machine Intelligence Vol.
* Арифметика Пеано* Логика первого порядка* Cooper, D. C., 1972, «Theorem Proving in Arithmetic without Multiplication» in B. Meltzer and D. Michie, eds., "Machine Intelligence".