Title: Basic Logic and Its Applications in Computer Science
Subjects: Computer science