LOGIC AND ARITHMATIC - Bostock, David (Oxford At The Clarendon Press, 1974)
Ref. : P. 215-216
Keywords: Logic; Arithmetic