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