Abstract is missing.
- My Life as a LogicianMartin Davis. 1-33 [doi]
- Martin Davis and Hilbert's Tenth ProblemYuri V. Matiyasevich. 35-54 [doi]
- Extensions of Hilbert's Tenth Problem: Definability and Decidability in Number TheoryAlexandra Shlapentokh. 55-92 [doi]
- A Story of Hilbert's Tenth ProblemLaura Elena Morales Guerrero. 93-105 [doi]
- Hyperarithmetical SetsYiannis N. Moschovakis. 107-149 [doi]
- Honest Computability and ComplexityUdi Boker, Nachum Dershowitz. 151-173 [doi]
- Why Post Did [Not] Have Turing's ThesisWilfried Sieg, Máté Szabó, Dawn McLaughlin. 175-208 [doi]
- On Quantum Computation, Anyons, and CategoriesAndreas Blass, Yuri Gurevich. 209-241 [doi]
- Taking Physical Infinity SeriouslyDon Perlis. 243-254 [doi]
- Banishing Ultrafilters from Our ConsciousnessDomenico Cantone, Eugenio G. Omodeo, Alberto Policriti. 255-283 [doi]
- What Is Essential Unification?Peter Szabó, Jörg H. Siekmann, Michael Hoche. 285-314 [doi]
- DPLL: The Core of Modern Satisfiability SolversDonald W. Loveland, Ashish Sabharwal, Bart Selman. 315-335 [doi]
- On Davis's "Pragmatic Platonism"Hilary Putnam. 337-347 [doi]
- Pragmatic PlatonismMartin Davis. 349-356 [doi]
- Concluding Comments by MartinMartin Davis. 357-362 [doi]
- Martin Davis's Bibliography 1950-2015Eugenio G. Omodeo. 363-370 [doi]