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

Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s. This was motivated by

Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s. This was motivated by

Intended for use in an introductory graduate course in theoretical computer science, this text contains material that should be core knowledge in the theory of

Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspects of com