LOGIC FOR COMPUTER SCIENCE Steve Reeves and Mike Clarke Department of Computer Science Queen Mary and Westfield College University of London U.K. Department of Computer Science…