MAKINSON, DAVID SETS, LOGIC AND MATHS FOR COMPUTING - NEW DELHI SPRINGER 2011 - XV, 302 ISBN: 9788184897524