Michael Hallett
Gödel, realism and mathematical "intuition"
2006
in: Intuition and the axiomatic method, Dordrecht : Springer
Hilbert and logic
1995
in: Québec studies in the philosophy of science, part I, Dordrecht : Springer
Physicalism, reductionism & Hilbert
1990
in: Physicalism in mathematics, Dordrecht : Springer