An introduction to logic - Joseph, H. W. B (Oxford University, 1916)