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