Reinhard Kahle

Mathematical truth revisited: mathematics as a toolbox

2017

in: Varieties of scientific realism, Dordrecht : Springer

Open Access Link
Sets, truth, and recursion

2015

in: Unifying the philosophy of truth, Dordrecht : Springer

Open Access Link
What is a proof?

2015

Axiomathes 25/1

Computing with mathematical arguments

2013

with Alama Jesse

in: New challenges to philosophy of science, Dordrecht : Springer

Open Access Link