Metarecursively Enumerable Sets and Admissible Ordinals Gerald E. Sacks

Autor:	Platek, Richard A.
Zdroj:	The Journal of Symbolic Logic, 1969 Mar 01. 34(1), 115-116.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2270995 Zobrazit plný text záznamu