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

Davis, R. E.

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