A note on decidability of variables in intuitionistic propositional logic
From MaRDI portal
Publication:5109220
DOI10.1002/malq.201700004OpenAlexW2854265396MaRDI QIDQ5109220
Publication date: 11 May 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201700004
Related Items
Cites Work