Bostock, David. Logic and Arithmetic: Natural Numbers. Clarendon Press, 1974.