Logic for computer science - Reeves, Steve 1957- (Addison-Wesley, 1990)