Драгалин А.Г., "Конструктивная теория доказательств и нестандартный анализ" (5354003881)

Like Book123?! Give us +1

More

& 8220;

А.Г.Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина - С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

& 8221;

Password: & 119;& 119;& 119;& 46;& 65;& 118;& 97;& 120;& 72;& 111;& 109;& 101;& 46;& 114;& 117;

Buy Book at Lowest Price on Amazon

Rating:
2.5 out of 5 by Book123

Download Links
Server	Status
Direct Download Link 1	Alive
Direct Download Link 2	Alive
Download Link (Mytempdir)	Alive
Download Link (Rapidshare)	Alive
Buy This Book at Best Price >>

Like this article?! Give us +1:

	Г.Хогланд, Г.Мак-Гроу, "Взлом программного обеспечения: анализ и использование кода" Грег Хогланд, Гари Мак-Гроу, "Взлом программного обеспечения: анализ и использование кода"Вильямс \| ISBN 5845907853, 0201786958 \| 2005 год \| PDF \| 36,3 Mb \| ...
	Э.Э.Гасанов, В.Б.Кудрявцев, "Теория хранения и поиска информации" Э.Э.Гасанов, В.Б.Кудрявцев, "Теория хранения и поиска информации"ФИЗМАТЛИТ \| ISBN 5922102354 \| 2002 год \| DjVu \| 2,24 Mb \| 288 страниц“Вводится новый ...
	Под ред.Я.А.Фурмана, "Введение в контурный анализ. Приложения к обработке изображений и сигналов" Под ред.Я.А.Фурмана, "Введение в контурный анализ. Приложения к обработке изображений и сигналов" (Издание 2-е, исправленное)ФИЗМАТЛИ ...
	Б.М.Миллер, А.Р.Панков, "Теория случайных процессов в примерах и задачах" Б.М.Миллер, А.Р.Панков, "Теория случайных процессов в примерах и задачах"Физматлит \| ISBN 5922102060 \| 2002 год \| DjVu \| 2,26 Mb \| 320 страниц“В книге ...
	Хренников А.Ю., "Неархимедов анализ и его приложения" Хренников А.Ю., "Неархимедов анализ и его приложения"Физматлит \| ISBN 5922101919 \| 2003 год \| DjVu \| 1,89 Mb \| 216 страниц“Предлагаемая монография пр ...
	Свешников А.Г., Тихонов А.Н., "Теория функций комплексной переменной" (6-е издание) Ну что, господа студенты... Кому предстоит ТФКП учить и сдавать? Налетайте! У меня лично о сей дисциплине остались не очень светлые в ...

Share this page with your friends now!
Text link
Forum (BBCode)
Website (HTML)

DISCLAIMER:

This site does not store Драгалин А.Г., "Конструктивная теория доказательств и нестандартный анализ" on its server. We only index and link to Драгалин А.Г., "Конструктивная теория доказательств и нестандартный анализ" provided by other sites. Please contact the content providers to delete Драгалин А.Г., "Конструктивная теория доказательств и нестандартный анализ" if any and email us, we'll remove relevant links or contents immediately.

	Г.Хогланд, Г.Мак-Гроу, "Взлом программного обеспечения: анализ и использование кода" Грег Хогланд, Гари Мак-Гроу, "Взлом программного обеспечения: анализ и использование кода"Вильямс \| ISBN 5845907853, 0201786958 \| 2005 год \| PDF \| 36,3 Mb \| ...
	Э.Э.Гасанов, В.Б.Кудрявцев, "Теория хранения и поиска информации" Э.Э.Гасанов, В.Б.Кудрявцев, "Теория хранения и поиска информации"ФИЗМАТЛИТ \| ISBN 5922102354 \| 2002 год \| DjVu \| 2,24 Mb \| 288 страниц“Вводится новый ...
	Под ред.Я.А.Фурмана, "Введение в контурный анализ. Приложения к обработке изображений и сигналов" Под ред.Я.А.Фурмана, "Введение в контурный анализ. Приложения к обработке изображений и сигналов" (Издание 2-е, исправленное)ФИЗМАТЛИ ...
	Б.М.Миллер, А.Р.Панков, "Теория случайных процессов в примерах и задачах" Б.М.Миллер, А.Р.Панков, "Теория случайных процессов в примерах и задачах"Физматлит \| ISBN 5922102060 \| 2002 год \| DjVu \| 2,26 Mb \| 320 страниц“В книге ...
	Хренников А.Ю., "Неархимедов анализ и его приложения" Хренников А.Ю., "Неархимедов анализ и его приложения"Физматлит \| ISBN 5922101919 \| 2003 год \| DjVu \| 1,89 Mb \| 216 страниц“Предлагаемая монография пр ...
	Свешников А.Г., Тихонов А.Н., "Теория функций комплексной переменной" (6-е издание) Ну что, господа студенты... Кому предстоит ТФКП учить и сдавать? Налетайте! У меня лично о сей дисциплине остались не очень светлые в ...

Book123

Categories

Share With Friends

Archive by Date

Search Tag

Newest

Useful Links

Драгалин А.Г., "Конструктивная теория доказательств и нестандартный анализ"

Related Articles

DISCLAIMER:

Comments (0) All