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

Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier

Proving History by Richard C. Carrier Hardcover – Bayes's Theorem, Jesus

Symbolic Logic and Mechanical Theorem Proving

Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier

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

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

Lectures on Diophantine Approximations Part 1: g-adic numbers and Roth`s theorem