Similar Listings
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving - 9781461275152
Fitting - First-Order Logic and Automated Theorem Proving - New paperb - X555z
First-Order Modal Logic (Synthese Library, 480) [Hardcover] Fitting, Melvin and
First-Order Modal Logic, Melvin Fitting -- HARDCOVER, First Edition
Theorem Proving Practices Daniel P. Friedman (Author) Carl Eastlund Used 1
Higher Order Logic Theorem Proving and Its Applications 7th Inter
Theorem proving with Coq SSReflect MathComp Formalizing Mathematics from Used 1