Поиск книг, содержащих Непротиворечивая теория :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Непротиворечивая теория

Книга	Страницы для поиска
Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика	44
Верещагин Н.К., Шень А. — Языки и исчисления	180
Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей	68
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств	33
Карри Х.Б. — Основания математической логики	81
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления	178
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций	125

О проекте