URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств.
Id: 23887
 
599 руб.

Математический интуиционизм. Введение в теорию доказательств.

1979. 256 с. Твердый переплет Букинист. Состояние: 4+. Есть погашенная библиотечная печать.

 Об авторе

Драгалин Альберт Григорьевич
Видный представитель российской школы математического конструктивизма. Родился 10 апреля 1941 года на острове Моржевец Архангельской области. Окончил механико-математический факультет МГУ, где работал с 1966 года. С 1983 года жил в Венгрии, заведовал кафедрой вычислительной математики университета им. Л. Кошута (г. Дебрецен). В 1988 году Венгерской Академией наук ему была присвоена степень доктора наук. Автор фундаментальных трудов по теоретико-модельным и теоретико-доказательственным основаниям интуиционистской логики, конструктивным методам нестандартного анализа. Умер 18 декабря 1998 года в г. Дебрецене.
 
© URSS 2016.

Информация о Продавце