Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations
DOI10.1007/S00283-018-9809-3zbMath1400.00041OpenAlexW2804576900MaRDI QIDQ1670971
Publication date: 6 September 2018
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00283-018-9809-3
History of mathematics in the 20th century (01A60) Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Turing machines and related notions (03D10) External book reviews (00A17)
Cites Work
This page was built for publication: Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations
