TURING COMPUTABILITY: THEORY AND APPLICATIONS Robert Soare Programming CompSci
"TURING COMPUTABILITY: THEORY AND APPLICATIONS by Robert Soare is a comprehensive textbook that delves into the theory of computability and its applications in the field of computer science. Published by Springer Berlin / Heidelberg in 2016, this hardcover book offers insights into the art of classical computability, making it a valuable resource for students and professionals alike. With a depth of xxxvi, 263 pages, this book covers a range of topics related to logic, programming, and the theory of computability, making it a must-have for those interested in the subject area."