Encyclopedia of Math
Encyclopedia sourcePublicationDocument
Очерки по конструктивной математике
http://libmeta.ru/resource/mathenc/publication/p2350
Данные
| bibliographicCitation | Мартин-Лёф П., Очерки по конструктивной математике, пер. с англ., М., 1975 |
author