Encyclopedia of Math
Encyclopedia sourcePublicationDocument
Теория рекурсивных функций и эффективная вычислимость
http://libmeta.ru/resource/mathenc/publication/p8355
Данные
| bibliographicCitation | Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972, гл. 9, 10, 13, 16 |
author