Logic and boolean algebra - Arnold, B. H. 1916- (Dover Publications, 2011)