|
|
 |
| Результат поиска |
Поиск книг, содержащих: Общезначимость (validity)
| Книга | Страницы для поиска | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 20, 42 | | Чёрч А. — Введение в математическую логику (том 1) | § 43, п. 407, 43.2, § 53, § 54 | | Хоггер К. — Введение в логическое программирование | 279, 285 | | Линдон Р. — Заметки по логике | 33, 35, 36, 52, 99—102, 116—118 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 141 | | Клини С.К. — Введение в метаматематику | 156, 158, 345, 353, 354, 355, 374 | | Хоггер К. — Введение в логическое программирование | 279, 285 |
|
|
|
|
О проекте