Reductibilities in intuitionistic topology

DOI10.2307/2270326MaRDI QIDQ5549028zbMATH OpenOpenAlexFDO

Authors Dirk van Dalen

Publication date 1968

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2270326

zbMATH Keywords

general logic

Cites work

• Intuitionism. An introduction
• Points and Spaces

This page was built for publication: Reductibilities in intuitionistic topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5549028)