On the Completeness of Quantification Theory

DOI10.1073/pnas.38.12.1047zbMath0049.29205OpenAlexW2053757322WikidataQ33713073 ScholiaQ33713073MaRDI QIDQ5816697

Burton Dreben

Publication date: 1952

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1073/pnas.38.12.1047

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (4)

Leon Henkin the Reviewer ⋮ A proof procedure for quantification theory ⋮ The Gödelian Inferences ⋮ Interpretations of sets of conditions

This page was built for publication: On the Completeness of Quantification Theory