Logic : the theory of formal inference - Ambrose, Alice; Lazerowitz, Morris (Dover Publications, Inc., 2015)