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...