книги

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

Код 5466276

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

Дата отгрузки на данный момент неизвестна.

Товар закончился у основного поставщика, и, после получения заказа от вас, мы закажем его у других поставщиков. Мы не можем гарантировать выполнение данного заказа, поэтому настоятельно не рекомендуем заказывать данный товар, используя предоплату (банковский перевод и т.п.). Заказ на такой товар действителен в течение 3 недель (если в течение 3 недель товар не придет, заказ будет отменен). Однако, это не означает, что товар нельзя заказать вновь, поскольку в некоторых случаях возможны и более поздние поставки.

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

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

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

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

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

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

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