Theorem Proving with Analytic Tableaux and Related Methods : Proc

Calculus with Analytic Geometry 4th Ed Edwards Penney Paperback 1994 UNREAD

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

Symbolic Logic and Mechanical Theorem Proving

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo

Pythagorean Theorem for Babies, Hardcover by Ferrie, Chris; Ziniti, Mike, Lik...