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

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

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

Theorem Proving with Analytic Tableaux and Related Methods 5th In

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

Automated Reasoning with Analytic Tableaux and Related Methods 32

Automated Reasoning with Analytic Tableaux and Related Methods In