TY - BOOK AU - "Makinson, David" TI - "Sets, Logic and Maths for Computing" SN - 9.79E+12 CY - Springer India Pvt Ltd N1 - includes index and biblioraphy ER -