Two Forms of the Axiom of Choice for an Elementary Topos

Autor:	Penk, Anna Michaelides
Zdroj:	The Journal of Symbolic Logic, 1975 Jun 01. 40(2), 197-212.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2271900 Zobrazit plný text záznamu