Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

mill_j3

$36

mill_j3

$36

DESCRIPTION

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!

Logic for Computer Science: Foundations of Automatic Theorem Proving by Gallier

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second...

Logic For Computer Science Foundations of Automatic Theorem Proving Vtg 1986

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...

Logic for Computer Science : Foundations of Automatic Theorem-Pro

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Symbolic Logic and Mechanical Theorem Proving, Lee and Chang (Hardcover, 1973)

Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :