From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster.

Сохранить в:
Библиографические подробности
Другие авторы: Crosilla, Laura (Редактор), Schuster, Peter, 1966- (Редактор)
Формат: eКнига
Язык:English
Опубликовано: Oxford : Clarendon, 2005.
Серии:Oxford logic guides ; 48.
Предметы:
Constructive mathematics > Congresses.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Constructive mathematics
Constructieve wiskunde.
Analyse (wiskunde)
Topologie.
Electronic books.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online-ссылка:Click for online access
Логин Для информации по задолженностям и напоминаниям

Internet

Click for online access

Online

Подробно о фондах из Online
Доступно

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