Introduction to logic. - Joseph, H W B. (Clarendon Press, 1966)