Title: Mathematical logic for computer science
Subjects: Computer science, Mathematics, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Mathematics, data processing, Computer science, mathematics