Introductory Logic And Sets For Computer Scientists door Nimmal Nissanice