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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Модель теории

Книга	Страницы для поиска
Верещагин Н.К., Шень А. — Языки и исчисления	177
Джонстон П.Т. — Теория топосов	211, 220
Гончаров С.С. — Счетные булевы алгебры и разрешимость	103
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов	90
Шрейдер Ю.А. — Равенство, сходство, порядок	184
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления	175, 212

О проекте