Электронный каталог

Книга
УДК 517 М-292

Мартин-Лёф, П.
Очерки по конструктивной математике : пер. с англ. / П. Мартин-Лёф ; ред. А. Г. Драгалин . – М. : Мир, 1975 . – 136 с. – (Библиотека сборника "Математика") .

517 М-292

Тезаурус = ГАСНТИ 27.45
Тезаурус = Математика : дискретная, комбинаторный анализ,теория графов
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика
Тезаурус = ГАСНТИ 27.17.17
Тезаурус = Математика : алгебра : группы

696609 Кх