First-Order Logic and Automated Theorem Proving Melvin Fitting hc

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

First-Order Logic and Automated Theorem Proving by Melvin Fitting

Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang (English) Hard

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

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

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

First-Order Logic and Automated Theorem Proving - 9781461275152