First-Order Logic and Automated Theorem Proving

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

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

First-Order Logic and Automated Theorem Proving by Melvin Fitting (English) Pape

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

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

Automated Theorem Proving : Theory and Practice by Monty Newborn (2000,...

Higher Order Logic Theorem Proving and Its Applications : 6th International W...