SETS LOGIC AND MATHS FOR COMPUTING - MAKINSON (PEARSON, 2015)
TBH
PAPER
UG