Title: Handbook of logic in computer science
Subjects: Symbolic and mathematical Logic, Computer science