Some Results in Church's Restricted Recursive Arithmetic

Autor:	Friedman, Joyce
Zdroj:	The Journal of Symbolic Logic, 1957 Dec 01. 22(4), 337-342.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2963908 Zobrazit plný text záznamu