"Makinson, David" "Sets, Logic and Maths for Computing" - \\201501ENGGPCX - Springer India Pvt Ltd 2015 New Delhi - 283p. includes index and biblioraphy ISBN: 9.79E+12