Очерки по конструтивной математике
Главный автор: | Мартин-Лёф П |
---|---|
Формат: | |
Язык: | Undetermined |
Опубликовано: |
М
Мир
1975
|
Схожие документы
-
Очерки по вопросам обоснования математике Пособие для учителей математики
по: Молодший В.Н
Опубликовано: (1958) -
Справочник по математике
по: Шахно К.У
Опубликовано: (1968) -
Справочник по математике
по: Белецкая М.А., Лавин Ф.И
Опубликовано: (1930) -
Методика упражнений по математике
по: Эрдниев П.М
Опубликовано: (1970) -
Справочник по высшей математике
по: Фильчаков П.Ф
Опубликовано: (1974)