Introductory Logic And Sets For Computer Scientists by Nimmal Nissanice