Truth, deduction, and computation : logic and semantics for computer science - Davis, Ruth E.