An introduction to logic - Joseph, H.W.B. (Clarendon Press, 1916)