LOGIC FOR COMPUTER SCIENCE - CLARKE,MICHAEL, REEVES,STEVE (AW ENGLAND, 1990)
BR-981