Concepedia
Indagationes Mathematicae (Proceedings) · 1954 · 60 citations · 2 references
EngineeringIncompletenessAutomated ReasoningProof ComplexityFormal MethodsModel TheoryFinite Model TheoryLöwenheim–skolem–tarski TheoremComputability Theory
2
The completeness of the first-order functional calculus
Leon Henkin · Journal of Symbolic Logic · 1949 · 536 citations
Original Completeness Proof, Formal Logic, Engineering +14
Some Theorems on Deducibility
Cooper H. Langford · Annals of Mathematics · 1926 · 87 citations
Engineering, Automated Reasoning, Proof Complexity +2