The Continuum Hypothesis in Intuitionism

Autor:	Gielen, W., de Swart, H., Veldman, W.
Zdroj:	The Journal of Symbolic Logic, 1981 Mar 01. 46(1), 121-136.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2273264 Zobrazit plný text záznamu