Text this: Logical foundations of computer science :