Sheffer Functions in Intuitionistic Logic

DOI10.1002/malq.19680141803zbMath0175.26201OpenAlexW2075874135MaRDI QIDQ5565079

No author found.

Publication date: 1968

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19680141803

zbMATH Keywords

general logic

Related Items (2)

Explicating logical independence ⋮ Nontabularity of the logic S4 with respect to functional completeness

This page was built for publication: Sheffer Functions in Intuitionistic Logic