Logic and boolean algebra - Arnold, Bradford Henry 1916- (Prentice-Hall, 1962)