Logic and arithmetic - Bostock David (Oxford Clarendon Press, 1974)
Keywords: Logic; Integer