Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp.

DOI10.1017/BSL.2017.1zbMATH Open1369.00022OpenAlexW2605128783MaRDI QIDQ5283454

Damir D. Dzhafarov

Publication date: 21 July 2017

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2017.1

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) External book reviews (00A17) Computability and recursion theory (03Dxx)

Related Items (3)

Book review of: S. Turing, Alan M. Turing. Centenary edition. 2nd ed. ⋮ Only Human ⋮ Three books on computability, with a special focus on Turing's legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computability from Gödel to Turing; B. J. Copeland (ed.) et al., Computability. Turing, Gödel, church, and beyond; G. Sommaruga and T. Strahm (ed.), Turing's revolution. The impact of his ideas about computability

This page was built for publication: Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283454)