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

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

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch

First-Order Logic and Automated Theorem Proving - 9781461275152

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

Automated Theorem Proving in Software Engineering - 9783642087592

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

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