книги

Конструктивная теория доказательств и нестандартный анализ. ("Математический интуиционизм. Введение в теорию доказательств", и др.)

Код 5466276

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 01.08.2025; планируемая отправка: 02.08.2025

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 04.08.2025; планируемая отправка: 05.08.2025

Аннотация к книге "Конструктивная теория доказательств и нестандартный анализ. ("Математический интуиционизм. Введение в теорию доказательств", и др.)"

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

Оставить комментарий

Оцените книгу:

Издательство: Едиториал УРСС
Дата выхода: октябрь 2023
ISBN: 9785354003884

Вместе с этой книгой покупают

Просмотренные товары