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