Title: Mathematical Logic for Computer Science, 2/E