TY - BOOK AU - Gielen,W. AU - H.De Swart TI - The continuum hypothesis in intuitionism T2 - Report 7908 AV - QA3.R46 PY - 1979/// CY - Nijmegen PB - : Catholic University, Department of Mathematics KW - Intuitionistic mathematics KW - Hypothesis N1 - Includes bibliographical references ER -