Texts and Monographs in Computer Science: First-Order Logic and Automated...

First-Order Logic and Automated Theorem Proving by Melvin Fitting (English) Pape

First-Order Logic and Automated Theorem Proving - 9781461275152

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...

First-Order Logic and Automated Theorem Proving by Melvin Fitting

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Symbolic Logic and Mechanical Theorem Proving, Lee and Chang (Hardcover, 1973)

Higher Order Logic Theorem Proving and Its Applications : 8th Int