Complexity, logic, and recursion theory

після оплати (24/7)
(для всіх пристроїв)
(в т.ч. для Apple та Android)
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."Abstract: "Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."
LF/780167/R
Характеристики
- ФІО Автора
- Andrea
Sorbi - Мова
- Англійська
- Серія
- Lecture notes in pure and applied mathematics 187
- ISBN
- 9781482269758
- Дата виходу
- 2019