К
Конструктивная теория доказательств и нестандартный анализ
Драгалин А.Г.
★★★★★
оценок пока нет
- Автор
- Драгалин А.Г.
- Издательство
- Едиториал УРСС
- Год издания
- 2003
- ISBN
- 5354003881
Оцените книгу:
А.Г.Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории