Trends in logic
17 Publications
< 13 - 17Prospects for triviality
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Berlin,
Saving proof from paradox
Gödel's paradox and the inconsistency of informal mathematics
2016
in: Logical studies of paraconsistent reasoning in science and mathematics, Berlin,
Philosophy of syntax
foundational topics
2010
Berlin, Springer
17 Publications
< 13 - 17