Constructivity and Computability in Historical and Philosophical Perspective 비슷한 책 더 보기

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년
Martin Davis on Computability, Computational Logic, and Mathematical Foundations Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
2017년
Deduction, Computation, Experiment Deduction, Computation, Experiment
Deduction, Computation, Experiment
2008년
Raymond Smullyan on Self Reference Raymond Smullyan on Self Reference
Raymond Smullyan on Self Reference
2018년
Logos and Máthēma Logos and Máthēma
Logos and Máthēma
2011년
J. Michael Dunn on Information Based Logics J. Michael Dunn on Information Based Logics
J. Michael Dunn on Information Based Logics
2016년
From Logic to Practice From Logic to Practice
From Logic to Practice
2014년
Logic, Mathematics, Philosophy, Vintage Enthusiasms Logic, Mathematics, Philosophy, Vintage Enthusiasms
Logic, Mathematics, Philosophy, Vintage Enthusiasms
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년
Ewa Orłowska on Relational Methods in Logic and Computer Science Ewa Orłowska on Relational Methods in Logic and Computer Science
Ewa Orłowska on Relational Methods in Logic and Computer Science
2018년
Logic, Reasoning, and Rationality Logic, Reasoning, and Rationality
Logic, Reasoning, and Rationality
2014년
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
Contradictions, from Consistency to Inconsistency
2018년
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
2006년
Proof, Computation and Agency Proof, Computation and Agency
Proof, Computation and Agency
2011년