LOGICS FOR COMPUTER SCIENCE - SECOND EDITION - SINGH, ARINDAMA (PHI, 2022)