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