Logic : the theory of formal inference - Ambrose, Alice (Holt, Rinehart and Winston, 1961)