LOGIC FOR COMPUTER SCIENCE - Department of Computer ... preview / logic-for-computer-science-department-of-computer.pdf / PDF4PRO