Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

Наука и учебаОснования математической логики

Основания математической логики
Автор:Карри Х.
Название:Основания математической логики
Издательство: М.: Мир
Год:1969
Страниц:568
Формат:djvu
Размер: 6.33 Мб
Для сайта: eKnigi.org

Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.

Нажмите для скачивания Karri1969ru.rar!Karri1969ru.rar
Размер: 6.33 Mb(cкачиваний: 0)



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional