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!