Title: A first course in formal logic and its applications in computer science
Subjects: Computer science, Mathematics, Symbolic and mathematical Logic