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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Теорема об опускании типов

Книга	Страницы для поиска
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей	83, 96, 98
Ершов Ю.Л., Палютин Е.А. — Математическая логика	178
Кейслер Г., Чэн Ч.Ч. — Теория моделей	99, 102, 104
Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели	37
Бускаран Э. — Теория моделей и алгебраическая геометрия	32
Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов	178

О проекте