Reductibilities in intuitionistic topology

DOI10.2307/2270326zbMATH Open0164.30803OpenAlexW1964061062MaRDI QIDQ5549028FDOQ5549028

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)