Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин
Language: русский.Country: Россия.Publication: Москва : Едиториал УРСС, 2003Description: 544 с. : ил.ISBN: 5354003873.Bibliography: Библиогр.: с. 520-525.; Именной указатель: с. 526-530.; Предметный указатель: с.530-543..Subject - Personal Name: Драгалин А. Г. математик, логик-конструктивист Subject: математика | математическая логика | математический интуиционизм | философия | арифметика | алгебраические модели | доказательства | нестандартный анализ | множества | аксиоматическая теория | антиномия| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 03-4900 | Available | 13821000098907 |
Библиогр.: с. 520-525.
Именной указатель: с. 526-530.
Предметный указатель: с.530-543.
There are no comments on this title.