First-Order Logic and Automated Theorem Proving - 9781461275152

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

First-Order Logic and Automated Theorem Proving Melvin Fitting Pa

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

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

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

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...

Loveland - Automated Theorem Proving in Software Engineering - New har - X555z