|
|
 |
| Результат поиска |
Поиск книг, содержащих: Формула атомарная
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 91 | | Эдельман С.Л. — Математическая логика | 65, 72 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 22, 105 | | Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 312 | | Мальцев А.И. — Алгебраические системы | 169 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 11, 38, 100, 224 | | Ершов Ю.Л. — Определимость и вычислимость | 273 | | Такеути Г. — Теория доказательств | 12, 189, 214 | | Трахтенброт Б.А., Барздинь Я.М. — Конечные автоматы. Поведение и синтез | 211 | | Уэно Х., Исидзука М. — Представление и использование знаний | 17 | | Кусраев А.Г., Кутателадзе С.С. — Нестандартные методы анализа | I.3.1.3(2) | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 36 | | Бускаран Э. — Теория моделей и алгебраическая геометрия | 20 | | Ковальски Р. — Логика в решении проблем | 190 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 90 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 93, 190 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 22, 105 |
|
|
|
|
О проекте