Title: Mathematical Logic for Computer Science
Subjects: Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Computer science, Mathematical Logic and Foundations