Bostock, D. (1974). <i>Logic and arithmetic: natural numbers</i>. Clarendon Press.