Martin Davis on computability, computational logic, and mathematical foundations

DOI10.1007/978-3-319-41842-1zbMath1365.03013OpenAlexW2584219801MaRDI QIDQ505399

No author found.

Publication date: 20 January 2017

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41842-1

Mathematics Subject Classification ID

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)

Related Items (3)

Seventy Years of Computer Science ⋮ E-Unification based on Generalized Embedding ⋮ Unnamed Item

This page was built for publication: Martin Davis on computability, computational logic, and mathematical foundations