Logic and arithmetic - Bostock, David (Oxford : Clarendon Press, 1974)
2
Keywords: Arithmetic -- Foundations; Axioms; Logic, Symbolic and mathematical