ENGLISH

Truth, Deduction, and Computation: Logic and Semantics for Computer Science

By Davis R.E.

Book information

Publisher
Computer Science Press
Year
1989
ISBN
0-7167-8201-4
Language
english
Format
DJVU
Filesize
2 MB (2422475 bytes)
Series
Principles of Computer Science Series
Pages
283\283
Library
Kolxo3
DPI
600
Time added
2013-12-29 19:00:00

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

Similar books