RUSSIAN

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

By Драгалин А. Г.

Book information

Publisher
Наука
Year
1979
UDC
517
LBC
22.12
Language
russian
Format
DJVU
Filesize
3 MB (3260747 bytes)
Series
Математическая логика и основания математики
Pages
256\255
Topic
Mathematics Logic
DPI
300
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2013-01-22 07:58:55

Description

Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиома тическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой. Можно надеяться, что и специалист по неклассическим логикам обнаружит в книге некоторые новые результаты и методы.

Similar books

Оборонная промышленность. Специальное обозрение. Рэнкинг предприятий Российского оборонно-промышленного комплекса в 2001 г. Пухов Р. Корпорации в российском ВПК уже есть. Бендукиндзе К. «Государство должно быть вменяемым заказчиком». Макиенко К. Зачем государству оборонка. Вопрос «Фокуса»: Должны ли предприятия оборонного комплекса участвовать в финансировании гособоронзаказа?. Пядушкин Н. Экспорт - наше главное оружие. Макиенко К. Международное сотрудничество в сфере ВПК сильнее национальных интересов. («Русский фокус», 22 июля - 19 августа 2002. Специальное обозрение «Оборонная промышленность»)

DJVU

Оборонная промышленность. Специальное обозрение. Рэнкинг предприятий Российского оборонно-промышленного комплекса в 2001 г. Пухов Р. Корпорации в российском ВПК уже есть. Бендукиндзе К. «Государство должно быть вменяемым заказчиком». Макиенко К. Зачем государству оборонка. Вопрос «Фокуса»: Должны ли предприятия оборонного комплекса участвовать в финансировании гособоронзаказа?. Пядушкин Н. Экспорт - наше главное оружие. Макиенко К. Международное сотрудничество в сфере ВПК сильнее национальных интересов. («Русский фокус», 22 июля - 19 августа 2002. Специальное обозрение «Оборонная промышленность»)

DJVU