Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин

Main Author: Драгалин, А. Г., математик, логик-конструктивист, 1941-1998, Альберт ГригорьевичLanguage: русский.Country: Россия.Publication: Москва : Едиториал УРСС, 2003Description: 544 с. : ил.ISBN: 5354003873.Bibliography: Библиогр.: с. 520-525.; Именной указатель: с. 526-530.; Предметный указатель: с.530-543..Subject - Personal Name: Драгалин А. Г. математик, логик-конструктивист Subject: математика | математическая логика | математический интуиционизм | философия | арифметика | алгебраические модели | доказательства | нестандартный анализ | множества | аксиоматическая теория | антиномия
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
Books НТБ ТПУ Научный фонд 03-4900 Available 13821000098907
Total holds: 0

Библиогр.: с. 520-525.

Именной указатель: с. 526-530.

Предметный указатель: с.530-543.

There are no comments on this title.

to post a comment.