First-Order Logic and Automated Theorem Proving (Texts in Computer Science) by
$105
Similar Listings
First-Order Logic and Automated Theorem Proving (Texts & Monographs in...
Texts and Monographs in Computer Science: First-Order Logic and Automated...
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch
First-Order Logic and Automated Theorem Proving Melvin Fitting hc
First-Order Logic and Automated Theorem Proving - 9781461275152
Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second...