Charles McCarty
Proofs and constructions
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
The new intuitionism
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
Wittgenstein on the foundations of mathematics
1981
Grazer Philosophische Studien 14