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

Type

Book

Authors

R. E. Davis

ISBN 10

0716782014

ISBN 13

9780716782018

Tags

Languages & Tools, Software, Reference & Test Preparation, Mathematics

Description

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. - from Amzon

Number of Copies