Formal logic - Prior, Arthur N (Oxford University, 1962)