A Proof Procedure for Quantification Theory.

Willard Van Orman Quine

Published in: J. Symb. Log. (1955)

Keyphrases

proof procedure
theorem proving
model theoretic
first order logic
integrity constraints
machine learning
natural language
propositional logic
predicate calculus