Similar Listings
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)