книги Наука, техника, медицина Гуманитарные науки Общественные науки Право, юриспруденция Разделы права Разделы знаний, связанные с правом Юридическая психология и психиатрия

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

Код 208476

  • ISBN: 5-354-00388-1
  • 544 страницы
  • январь 2003
  • URSS
  • 726 г

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

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

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

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

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

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

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

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

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

Издательство: URSS
Дата выхода: январь 2003
ISBN: 5-354-00388-1
Тираж: 600 экземпляров
Объём: 544 страниц
Масса: 726 г

Книга находится в категориях

Логика распродажа

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