A. J. Kfoury, Robert N. Moll, and Michael A. Arbib. A programming approach to computability. The AKM series in theoretical computer science. Springer-Verlag, New York, Heidelberg, and Berlin, 1982, viii + 251 pp

Autor:	H. P. Edmundson
Rok vydání:	1987
Předmět:	Philosophy Series (mathematics) Logic Computability Applied mathematics Mathematical economics
Zdroj:	The Journal of Symbolic Logic. 52:289-291
ISSN:	1943-5886 0022-4812
DOI:	10.2307/2273889
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f94f1d471f86a9709177b16ca282644b https://doi.org/10.2307/2273889 Zobrazit plný text záznamu