|
|
 |
| Результат поиска |
Поиск книг, содержащих: Секвенция
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 454 | | Верещагин Н.К., Шень А. — Языки и исчисления | 65 | | Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей | 45 | | Хаусдорф Ф. — Теория множеств | 153 | | Клини С. — Математическая логика | 343 и след. | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 293 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 19 | | Мальцев А.И. — Алгебраические системы | 83 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 23, 190, 224 | | Фейс Р. — Модальная логика | 193, 362, 428, 438, 443 | | Такеути Г. — Теория доказательств | 15, 215 | | Мартин-Лёф П. — Очерки по конструктивной математике | 79, 93, 98 | | Гладкий А.В. — Математическая логика | 193 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—1105 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 59 | | Куринной Г.Ч. — Математика. Справочник | 62 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 64 | | Клини С.К. — Математическая логика | 343 | | Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 109 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 97, 191 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 19 | | Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 214 |
|
|
|
|
О проекте