Bostock, David. 1974. <i>Logic and Arithmetic: Natural Numbers</i>. Oxford: Clarendon Press.