Deduction, Computation, Experiment More Books Like This
From Logic to Practice
2014
Mathesis Universalis, Computability and Proof
2019
Epistemology versus Ontology
2012
Logic, Mathematics, Philosophy, Vintage Enthusiasms
2011
Contradictions, from Consistency to Inconsistency
2018
The Age of Alternative Logics
2006
Handbook of Philosophical Logic
2006
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
2016
Paraconsistency: Logic and Applications
2012
Constructivity and Computability in Historical and Philosophical Perspective
2014
Logic, Reasoning, and Rationality
2014
Proof, Computation and Agency
2011
The Limits of Science
2014
Raymond Smullyan on Self Reference
2018
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
2022