Neuer Beweis der funktionalen Vollständigkeit des zweiwertigen Aussagenkalküls
From MaRDI portal
Publication:2625692
DOI10.1305/NDJFL/1093956751zbMath0116.00403OpenAlexW2044741118MaRDI QIDQ2625692
Publication date: 1961
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093956751
This page was built for publication: Neuer Beweis der funktionalen Vollständigkeit des zweiwertigen Aussagenkalküls