|
|
 |
| Результат поиска |
Поиск книг, содержащих: Recursion, primitive
| Книга | Страницы для поиска | | Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 2) | 30 | | Goldblatt R. — Topoi | 335ff. | | Enderton H.B. — A Mathematical Introduction to Logic | 221—222, 227 | | Hinman P.G. — Fundamentals of Mathematical Logic | 328, 339 | | Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science | 40, 41, 100, 106, 108 | | Abramsky S., Barwise J., Fine K. — Recursive Functionals. Studies in Logic and the Foundations of Mathematics Volume 131 | 51 | | Bird R., de Moor O. — Algebra of programming | 5, 6 |
|
|
|
|
О проекте