|
|
 |
| Результат поиска |
Поиск книг, содержащих: Формула замкнутая
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 173, 183 | | Новиков Ф.А. — Дискретная математика для программистов | 120 | | Верещагин Н.К., Шень А. — Языки и исчисления | 97, 215 | | Мендельсон Э. — Введение в математическую логику | 57 | | Эдельман С.Л. — Математическая логика | 69 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 108 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 31 | | Мальцев А.И. — Алгебраические системы | 154 | | Такеути Г. — Теория доказательств | 13 | | Трахтенброт Б.А., Барздинь Я.М. — Конечные автоматы. Поведение и синтез | 211 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 68 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 35 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 96, 212 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 94, 191 | | Мендельсон Э. — Введение в математическую логику | 57 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 108 |
|
|
|
|
О проекте