Truth, deduction, and computation : logic and semantics for computer science - Davis, R.E. (Computer Science Press, 1989)
Index.