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