Матэнциклопедия
Источник МатэнциклопедииПубликацияДокумент
Очерки по конструктивной математике
http://libmeta.ru/resource/mathenc/publication/p7762
Данные
| bibliographicCitation | Мартин-Лёф П., Очерки по конструктивной математике, пер. с англ., М., 1975; [151 Марков А. А., Теория алгорифмов, М.- Л., 1954 |
автор