Formal logic - Prior, A.N (Clarendon, 1955)