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-3zbMATH Open1400.00041OpenAlexW2804576900MaRDI QIDQ1670971FDOQ1670971

Authors: Jan von Plato 

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

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) External book reviews (00A17) History of mathematics in the 20th century (01A60) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics
• Martin Davis on computability, computational logic, and mathematical foundations

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

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