, 2012, Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 161-180.
, 2006, 'Proof-theoretic semantics for classical mathematics', Synthese 148 (3), 603-622.
, 1995, Extensional equality in the classical theory of types, in W. Depauli Schimanovich, E. Köhler & F. Stadler (eds.), The foundational debate, Dordrecht, Springer, pp. 219-234.
, 1993, 'Some recent essays in the history of the philosophy of mathematics: a critical review', Synthese 96 (2), 293-331.
, a, 'The locus of grammatical-logical norms in Wittgenstein's account of meaning and understanding', Deutsches Jahrbuch Philosophie 3, 150-169.