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