Functional completeness of Henkin's propositional fragments
From MaRDI portal
Publication:2625146
DOI10.1305/NDJFL/1093956551zbMath0113.24201OpenAlexW2026433037MaRDI QIDQ2625146
Publication date: 1960
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093956551
This page was built for publication: Functional completeness of Henkin's propositional fragments