ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
From MaRDI portal
Publication:4166741
DOI10.1070/SM1977v031n02ABEH002303zbMath0386.03011OpenAlexW1984615484MaRDI QIDQ4166741
Could not fetch data.
Publication date: 1977
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/sm1977v031n02abeh002303
Could not fetch data.