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