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

Higher Order Logic Theorem Proving and Its Applications : 8th Int

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

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

Higher Order Logic Theorem Proving and Its Applications : 7th Int

Higher Order Logic Theorem Proving and Its Applications: 8th International: New

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

Snyers - From Logic Design to Logic Programming Theorem Proving Tech - X555z