Очерки по конструктивной математике
- Автор(ы)
- Мартин-Лёф П
- Год
- 1975
- Издательство
- Мир
- Теги
- Математика
Как сослаться (ГОСТ Р 7.0.5-2008)
- В списке литературы
- Мартин-Лёф П. Очерки по конструктивной математике. — [Б. м.] : Мир, 1975.
- В тексте
- (Мартин-Лёф П. Очерки по конструктивной математике. [Б. м.] : Мир, 1975)