Recursion in Objects of Finite Type. Gerald E. Sacks

Autor:	Clarkehisao, D. A.
Zdroj:	The Journal of Symbolic Logic, 1974 Jun 01. 39(2), 343-344.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2272681 Zobrazit plný text záznamu