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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Шенфилд

Книга	Страницы для поиска
Новиков П.С. — Конструктивная математическая логика с точки зрения классической	278, 320
Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств	8, 7, 9, 95, 96, 98, 109, 110, 113, 114, 157, 204, 212, 253, 267, 272, 273, 299, 303, 305, 357, 363
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств	74, 249
Робинсон А. — Введение в теорию моделей и мета-математику алгебры	372
Шенфилд Дж. — Степени неразрешимости	7, 74, 98—100, 108

О проекте