On disjunction in intuitionist logic
From MaRDI portal
Publication:5846548
DOI10.1007/BF03053038zbMath0063.07932MaRDI QIDQ5846548
Publication date: 1943
Published in: Proceedings of the Indian Academy of Sciences - Section A (Search for Journal in Brave)
03-XX: Mathematical logic and foundations