Основания математики. Математическая логика

Список источников >Нехудожественная литература >Научная и техническая литература >Естественные науки >Физико-математические науки >Математика >Основания математики. Математическая логика >

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

Автор: Драгалин А.Г.
Год: 2003
Издание:
Страниц: [не указано]
ISBN: 5354003881, 5354003873
А.Г. Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г. Драгалина по интуиционистской...
Добавлено: 2018-02-05 19:20:08

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы