A Henkin-style completeness proof for the pure implicational calculus

DOI10.1305/NDJFL/1093891803zbMath0305.02017OpenAlexW1987645821MaRDI QIDQ1217092

Could not fetch data.

Publication date: 1975

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093891803

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: A Henkin-style completeness proof for the pure implicational calculus