Negationless Intuitionistic Mathematics II, III, IV G. F. C. Griss

Autor:	Vredenduin, P. G. J.
Zdroj:	The Journal of Symbolic Logic, 1954 Dec 01. 19(4), 296-297.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2267759 Zobrazit plný text záznamu