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

Texts and Monographs in Computer Science: First-Order Logic and Automated...

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

First-Order Logic and Automated Theorem Proving - 9781461275152

First-Order Logic and Automated Theorem Proving by Melvin Fitting

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

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

Richard J. Boulto Theorem Proving in Higher Order Logic (Paperback) (UK IMPORT)