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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Арифметика Пеано

Книга	Страницы для поиска
Френкель А.А., Бар-Хиллел И. — Основания теории множеств	351
Верещагин Н.К., Шень А. — Языки и исчисления	235
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики	77
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции	137
Такеути Г. — Теория доказательств	80
Виноградов И.М. — Математическая энциклопедия. Предметный указатель	II-759; IV-229
Пуаза Б. — Курс теории моделей	7.g
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления	232

О проекте