• Класифікатори
• математика, mathematics, mathematique, matematyka

математика конструктивна, математика конструктивная

Документи:

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