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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Харроп

Книга	Страницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств	278, 466
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств	9, 29, 35, 248
Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций	17, 116, 265
Карри Х.Б. — Основания математической логики	436
Абрагам А., Блини Б. — Электронный парамагнитный резонанс переходных ионов. Том 2	1, 368, 369

О проекте