Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater More Books Like This
Objects, Structures, and Logics
2022
Axiomatic Thinking I
2022
Mathematical Problems from Applied Logic I
2006
Petr Hájek on Mathematical Fuzzy Logic
2014
Feferman on Foundations
2018
Quantum Physics, Fuzzy Sets and Logic
2015
Gödel's Disjunction
2016
Reflections on the Foundations of Mathematics
2019
Turing’s Revolution
2016
Logic in Question
2023
The Road to Universal Logic
2015
Logicism, Intuitionism, and Formalism
2008
Origins and Varieties of Logicism
2021
Undecidability, Uncomputability, and Unpredictability
2021
Truth, Existence and Explanation
2018