|
|
 |
| Результат поиска |
Поиск книг, содержащих: Формула (formula)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 17 | | Шенфилд Дж. — Математическая логика | 15, 32. 319 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 12, 101 | | Гренандер У. — Лекции по теории образов (Том 3. Регулярные структуры) | 363 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 21 | | Чёрч А. — Введение в математическую логику (том 1) | § 07 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 94 | | Хоггер К. — Введение в логическое программирование | 19—20, 22 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 291 | | Девис М. — Прикладной нестандартный анализ | 48 | | Клини С.К. — Введение в метаматематику | 60, 69, 126, 223, 226, 390 | | Хоггер К. — Введение в логическое программирование | 19—20, 22 | | Пейган Ф. — Практическое руководство по Алголу 68 | 20, 126 | | Шенфилд Дж. — Математическая логика | 15, 32, 319 |
|
|
|
|
О проекте