Martin Davis on Computability, Computational Logic, and Mathematical Foundations More Books Like This

Constructivity and Computability in Historical and Philosophical Perspective Constructivity and Computability in Historical and Philosophical Perspective
Constructivity and Computability in Historical and Philosophical Perspective
2014
Epistemology versus Ontology Epistemology versus Ontology
Epistemology versus Ontology
2012
Mathesis Universalis, Computability and Proof Mathesis Universalis, Computability and Proof
Mathesis Universalis, Computability and Proof
2019
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
Contradictions, from Consistency to Inconsistency
2018
Gödel's Incompleteness Theorems Gödel's Incompleteness Theorems
Gödel's Incompleteness Theorems
2022
Deduction, Computation, Experiment Deduction, Computation, Experiment
Deduction, Computation, Experiment
2008
Proof, Computation and Agency Proof, Computation and Agency
Proof, Computation and Agency
2011
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
2022
The History of Continua The History of Continua
The History of Continua
2020
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
2006
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
2006
Advances in Natural Deduction Advances in Natural Deduction
Advances in Natural Deduction
2014
Games, Norms and Reasons Games, Norms and Reasons
Games, Norms and Reasons
2011
Logic, Mathematics, Philosophy, Vintage Enthusiasms Logic, Mathematics, Philosophy, Vintage Enthusiasms
Logic, Mathematics, Philosophy, Vintage Enthusiasms
2011
From Logic to Practice From Logic to Practice
From Logic to Practice
2014