with Bourdeau, M. (eds) , 2014, Constructivity and computability in historical and philosophical perspective, Springer, Dordrecht.
, 2008, Truth and experience of truth, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 50-59.
with Lapointe, S. , 2006, 'On Bolzano's alleged explicativism', Synthese 150 (2), 229-246.
with Marion, M. , 2003, Radical anti-realism and substructural logics, in A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical dimensions of logic and science, Dordrecht, Springer, pp. 235-249.
, 2002, 'Feasibility in logic', Synthese 132 (3), 213-237.
, 1988a, 'Die sogenannte Analytizität der Mathematik: für eine Radikalisierung der theorie Hintikkas', Grazer Philosophische Studien 32, 83-112.