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

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

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

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

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

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

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

First-Order Logic and Automated Theorem Proving Melvin Fitting hc