Similar Listings
Symbolic Logic and Mechanical Theorem Proving
First-Order Logic and Automated Theorem Proving by Melvin Fitting
Proving History by Richard C. Carrier Hardcover – Bayes's Theorem, Jesus
Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier
Higher Order Logic Theorem Proving and its Applications by Claesen & Gordon
Pythagorean Theorem for Babies, Hardcover by Ferrie, Chris; Ziniti, Mike, Lik...