Formal logic - Prior, Arthur M. (Clarendon Press, 1962)