Основания математики. Математическая логика

Линейные операторы. Общая теория, Н. Данфорд, Дж. Т. Шварц

Скачать книгу "Линейные операторы. Общая теория, Н. Данфорд, Дж. Т. Шварц"
Страниц: 896
Год издания: 2004
Язык: Русский
В настоящем издании авторы дают исчерпывающий обзор общей теории линейных операторов. Книга содержит подготовительный материал: теоретико-множественные, топологические и алгебраические понятия, основн ...

Введение в метаматематику, С. К. Клини

Скачать книгу "Введение в метаматематику, С. К. Клини"
Страниц: 526
Год издания: 2009
Язык: Русский
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фун ...

Лекции по алгебре логики, С. А. Яновская

Скачать книгу "Лекции по алгебре логики, С. А. Яновская"
Страниц: 264
Год издания: 2015
Язык: Русский
Софья Александровна Яновская - советский математик, логик, философ, доктор физико-математических наук. Ее труды посвящены проблемам истории, методологии и философии математики. С.А.Яновская внесла бол ...