First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

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

Automated Theorem Proving : Theory and Practice by Monty Newborn (2000,...

Fitting - First-Order Logic and Automated Theorem Proving - New paperb - X555z

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

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

First-Order Logic and Automated Theorem Proving - 9781461275152