Postulates for implicational calculi
From MaRDI portal
Publication:5523673
DOI10.2307/2270616zbMath0146.24701OpenAlexW2171532294MaRDI QIDQ5523673
Publication date: 1966
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270616
Related Items
Cites Work