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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Отношение следования

Книга	Страницы для поиска
Клини С. — Математическая логика	40, 130
Биркгоф Г., Барти Т. — Современная прикладная алгебра	63
Перетятькин М.Г. — Конечно аксиоматизируемые теории	18
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах	420
Сакс Дж.Е. — Теория насыщенных моделей	20
Шрейдер Ю.А. — Равенство, сходство, порядок	177, 186
Клини С.К. — Математическая логика	40, 130
Биркгоф Г., Барти Т. — Современная прикладная алгебра	63

О проекте