The development of logic - Kneale, William (Clarendon Press, 1962)