Deduction, Computation, Experiment More Books Like This

From Logic to Practice From Logic to Practice
2014
Mathesis Universalis, Computability and Proof Mathesis Universalis, Computability and Proof
2019
Epistemology versus Ontology Epistemology versus Ontology
2012
Logic, Mathematics, Philosophy, Vintage Enthusiasms Logic, Mathematics, Philosophy, Vintage Enthusiasms
2011
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
2018
The Age of Alternative Logics The Age of Alternative Logics
2006
Handbook of Philosophical Logic Handbook of Philosophical Logic
2006
Logical Studies of Paraconsistent Reasoning in Science and Mathematics Logical Studies of Paraconsistent Reasoning in Science and Mathematics
2016
Paraconsistency: Logic and Applications Paraconsistency: Logic and Applications
2012
Constructivity and Computability in Historical and Philosophical Perspective Constructivity and Computability in Historical and Philosophical Perspective
2014
Logic, Reasoning, and Rationality Logic, Reasoning, and Rationality
2014
Proof, Computation and Agency Proof, Computation and Agency
2011
The Limits of Science The Limits of Science
2014
Raymond Smullyan on Self Reference Raymond Smullyan on Self Reference
2018
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