Completeness of the propositional calculus
From MaRDI portal
Publication:5769516
DOI10.2307/2267505zbMath0018.33801OpenAlexW2015374966MaRDI QIDQ5769516
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
Related Items (3)
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
This page was built for publication: Completeness of the propositional calculus