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