Logic and arithmetic Natural numbers. - Bostock David (Oxford Clarendon Press, 1974)