Extensional Quotients for Type Theory and the Consistency Problem for NF

Autor:	Antonelli, Gian Aldo
Zdroj:	The Journal of Symbolic Logic, 1998 Mar 01. 63(1), 247-261.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2586599 Zobrazit plný text záznamu