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