Construction of Models for Algebraically Generalized Recursive Function Theory

Autor:	Strong, H. R.
Zdroj:	The Journal of Symbolic Logic, 1970 Sep 01. 35(3), 401-409.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2270697 Zobrazit plný text záznamu