LOGIC IN COMPUTER SCIENCE - HUTH, MICHAEL (NEW DELHI CAMBRIDGE, 2011)