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

Книга
510.2 М29

Мартин-Лёф, П.
Очерки по конструктивной математике = Notes on constructive mathematics : пер. с англ. / П. Мартин-Лёф ; пер. Г. Е. Минц, А. Г. Драгалин . – М. : Мир, 1975 . – 136 с. – (Библиотека сборника "Математика") . – На рус. яз.

510.2

Общий = Основания математики. Теория множеств
Коллекции = Математическая библиотека