First-Order Logic and Automated Theorem Proving - 9781461275152

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) by

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

Chang - Symbolic Logic and Mechanical Theorem Proving - New hardback o - X555z

First-Order Logic and Automated Theorem Proving (Texts & Monographs in...

Melham - Higher Order Logic Theorem Proving and Its Applications 7th - X555z

Schubert - Higher Order Logic Theorem Proving and Its Applications 8 - X555z

Schumann - Automated Theorem Proving in Software Engineering - New pap - X555z