The α-Union Theorem and Generalized Primitive Recursion

Autor:	Jacobs, Barry E.
Zdroj:	Transactions of the American Mathematical Society, 1978 Mar 01. 237, 63-81.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/1997610 Zobrazit plný text záznamu