Logic for computer science - Reeves, Steve 1957-; Clarke, Michael 1940-. (Wokingham, England Addison-Wesley, 1990)
Keywords: Logic, Symbolic and mathematical; Computer systems -- Programming -- Applications of mathematical logic