Higher Order Logic Theorem Proving and Its Applications 7th Inter

First-Order Logic and Automated Theorem Proving Melvin Fitting Pa

First-Order Logic and Automated Theorem Proving by Melvin Fitting

Higher Order Logic Theorem Proving and Its Applications 6th Inter

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

First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)

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

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