On CLOSED SUBSETS OF THE INTUITIONISTIC REALS
From MaRDI portal
Publication:3671161
DOI10.1002/malq.19830290103zbMath0521.03045MaRDI QIDQ3671161
Publication date: 1983
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19830290103
03F55: Intuitionistic mathematics
Related Items