Higher Order Logic Theorem Proving and Its Applications 7th Inter

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

First-Order Logic and Automated Theorem Proving Melvin Fitting Pa

Higher Order Logic Theorem Proving and Its Applications 6th Inter

Bayes's Theorem Richard Swinburne 2005 Paperback Philosophy Statistics Oxford

Arthur C Clarke Fred Pohl Brian Aldiss ~ THE LAST THEOREM UK Signed Limited

Fermat's Last Theorem A Genetic Introduction to Algebraic Number

From Logic Design to Logic Programming Theorem Proving Techniques