Higher Order Logic Theorem Proving and Its Applications 7th Inter

First-Order Logic and Automated Theorem Proving

Higher Order Logic Theorem Proving and its Applications by Claesen & Gordon

Interactive Theorem Proving 6th International Conference ITP 2015

Theorem Proving in Higher Order Logics 16th International Confere

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

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

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