Title: Mathematical Logic for Computer Science (2nd Edition)