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