What do you think?
Rate this book
Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Truth, Deduction, and Computation Logic and Semantics for Computer Science. Ruth E. Davis. Copyright 1989, Computer Science Press, NY. ISBN/ASIN/LOC 0716782014. Hardcover in very good condition. Binding is secure, cover and spine are clean with minimal wear. NO writing or highlighting was observerd in text. NO dust jacket. Shelved in Science. The Bookman serving Colorado Springs since 1990.
265 pages, Hardcover
First published September 1, 1989
1 person is currently reading
6 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.