Similar Listings
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...
Symbolic Logic and Mechanical Theorem Proving - 9780121703509
First-Order Logic and Automated Theorem Proving Melvin Fitting Pa
Fitting - First-Order Logic and Automated Theorem Proving - New paperb - X555z
Higher Order Logic Theorem Proving and Its Applications : 8th Int
First-Order Logic and Automated Theorem Proving Melvin Fitting hc
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch