The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Si
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretic