Text this: Handbook of logic in computer science: