Constructivity and Computability in Historical and Philosophical Perspective More Books Like This

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