|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теория полная
| Книга | Страницы для поиска | | Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 23, 58 | | Верещагин Н.К., Шень А. — Языки и исчисления | 181, 216 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 169 | | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 30, 83 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 75 | | Ершов Ю.Л. — Определимость и вычислимость | 61 | | Меськов В.С. — Очерки по логике квантовой механики | 90 | | Пуаза Б. — Курс теории моделей | 2.c, 4.b | | Сакс Дж.Е. — Теория насыщенных моделей | 23 | | Кейслер Г., Чэн Ч.Ч. — Теория моделей | 31, 52 | | Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели | 14 | | Бускаран Э. — Теория моделей и алгебраическая геометрия | 24 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 179, 213 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 103, 193 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 169 |
|
|
|
|
О проекте