Mathematical Logic For Computer Science (2Nd Edition)