Martin Davis on Computability, Computational Logic, and Mathematical Foundations 비슷한 책 더 보기

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년