|
|
 |
| Результат поиска |
Поиск книг, содержащих: Логическое следствие
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 25, 62 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 58 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 36—38, 42, 252, 293, 295, 381, 382 | | Смальян Р. — Теория формальных систем | 184 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | III-420 | | Сакс Дж.Е. — Теория насыщенных моделей | 20 | | Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 595 | | Мендельсон Э. — Введение в математическую логику | 25, 62 |
|
|
|
|
О проекте