|
|
 |
| Результат поиска |
Поиск книг, содержащих: Замкнутая формула
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 40, 327, 328 | | Верещагин Н.К., Шень А. — Языки и исчисления | 97, 215 | | Клини С. — Математическая логика | 130 | | Никольская И.Л. — Математическая логика | 107 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 28, 145 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—158, 320; II—435; IV—580; V—637 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 96, 212 | | Клини С.К. — Математическая логика | 130 |
|
|
|
|
О проекте