Truth, Deduction and Computation: Logic and Semantics for Computer Science (Principles of computer science) - Hardcover

Davis, Ruth E.

 
9780716782018: Truth, Deduction and Computation: Logic and Semantics for Computer Science (Principles of computer science)