|
|
Результат поиска |
Поиск книг, содержащих: Рекуррентные (k-recusive) функции, рекурсивно определенные системой уравнений, числом (гёделевским номером)
Книга | Страницы для поиска | Клини С.К. — Введение в метаматематику | 257, 260, 285, 294, 300, 303, 304, 314, 315, 368, 369, 450 |
|
|