|
|
 |
| Результат поиска |
Поиск книг, содержащих: Логика (logic)
| Книга | Страницы для поиска | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования | 1 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 60, 68, 69, 70, 127—133, 260—263, 408—415, 426—428, 498 | | Чёрч А. — Введение в математическую логику (том 1) | § 00 | | Девис М. — Прикладной нестандартный анализ | 26, 27—28 | | Клини С.К. — Введение в метаматематику | 46, 52, 59, 67, 76, см. «Формальная система», «Формализация», «Исчисление предикатов», «Теоретико-множественный» |
|
|
|
|
О проекте