Logic for computer science - Reeves, Steve, 1957-; Clarke, Michael, 1940-. (Addison-Wesley, 1990)