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