Метаматематика элементарной математики, пер. с нем.

Библиографические подробности
Главный автор:	Энгелер Э. Эрвин
Опубликовано:	Москва, Мир, 1987
Предметы:	континуум язык вещественные числа аксиома выбора геометрия пространство аксиоматизация геометрические построения алгоритмика комбинаторные алгебры ламбда-исчисление
Формат:	Книга
Запись в KOHA:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=253521

Схожие документы