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

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

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

Sandford - Using Sophisticated Models in Resolution Theorem Proving - - X555z

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

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

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...

Fitting - First-Order Logic and Automated Theorem Proving - New paperb - X555z