Completeness of the propositional calculus

DOI10.2307/2267505zbMath0018.33801OpenAlexW2015374966MaRDI QIDQ5769516

W. V. Quine

Publication date: 1938

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267505

zbMATH Keywords

Foundations, philosophy, logic

Related Items

The Discovery of My Completeness Proofs, Note on a recent set of postulates for the calculus of propositions, The completeness of the first-order functional calculus