Truth, deduction, and computation logic and semantics for computer science - Davis, Ruth E. (W. H. Freeman & Co., 1989)