, 2013, Verificationism then and now, in M. Van Der Schaar (ed.), Judgement and the epistemic foundation of logic, Dordrecht, Springer, pp. 3-14.
, 2009, 100 years of Zermelo's axiom of choice: what was the problem with it?, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 209-219.
, 2008, The Hilbert-Brouwer controversy resolved?, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 243-256.
, 1995, Verificationism then and now, in W. Depauli Schimanovich, E. Köhler & F. Stadler (eds.), The foundational debate, Dordrecht, Springer, pp. 187-196.
, 1994, Analytic and synthetic judgements in type theory, in P. Parrini (ed.), Kant and contemporary epistemology, Dordrecht, Springer, pp. 87-99.
, 1987a, 'Truth of a proposition, evidence of a judgement, validity of a proof', Synthese 73 (3), 407-420.