Logic For Computer Science - Singh (Arindama)
25