Конструктивная теория доказательств и нестандартный анализ

Драгалин А. Г.

Конструктивная теория доказательств и нестандартный анализ

временно отсутствует

Цена в интернет-магазине: 729,00 руб.

Сообщить о поступлении

Доставка книг по России от 149 руб.*

Аннотация:

В настоящее издание включены труды автора книги по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Дополнительные сведения:

Артикул: 1071016
ISBN: 5-354-00387-3
Тип переплета: в пер.
Тираж: 600
Название: Конструктивная теория доказательств и нестандартный анализ
Автор: А. Г. Драгалин
Дополнительные сведения: Отв. ред. Г. Е. Минц
Место издания: М.
Издатель: Едиториал УРСС
Дата издания: 2003
Количество страниц: 543
Высота, см.: 23
Ширина, см: 15,2
Толщина, см: 2,8
Вес в граммах: 720
Книга «Конструктивная теория доказательств и нестандартный анализ» в наличии в интернет-магазине «БИБЛИО-ГЛОБУС» по низкой цене. У Вас есть возможность оформить заказ на книгу Драгалин А. Г. «Конструктивная теория доказательств и нестандартный анализ» с подходящим способом доставки: самовывоз, курьерская доставка или доставка почтой. Доставка заказов в такие города как Москва, Санкт-Петербург, Казань, Екатеринбург, Воронеж, Самара, Нижний Новгород. Интернет-магазин «БИБЛИО-ГЛОБУС» регулярно проводит акции и предоставляет скидки на книги.