Logic and Boolean algebra - Arnold, Bradford H. 1916- (Prentice-Hall, 1964)