Formal logic - Prior, Arthur N. 1914-1969 (Clarendon Pr., 1973)