A constructive calculus of statements with strong negation
From MaRDI portal
Publication:5661482
DOI10.1090/TRANS2/099/02zbMath0249.02011OpenAlexW4241595208MaRDI QIDQ5661482
Publication date: 1972
Published in: Five Papers on Logic and Foundations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/trans2/099/02
This page was built for publication: A constructive calculus of statements with strong negation
