Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier
USD 32.39 USD
Logic For Computer Science- Foundations of Automatic Theorem Proving by Jean H. Gallier. Hardcover 1986. Condition is "Very Good"- no markings in book. Shpped in a box. *Follow our store for more great finds!
Specifications
| Country Of Origin | United States |
| Publication Year | 1986 |
| Type | Book |
| Format | Hardcover |
| Language | English |
| Subject Area | Computers |
| Publication Name | Harper & Row |
| Author | Jean Gallier |
| Subject | Logic |
I like how the illustrations use arrows to show movement and direction.
