, 2014a, Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session, in J. Dubucs & M. Bourdeau (eds.), Constructivity and computability in historical and philosophical perspective, Dordrecht, Springer, pp. 1-35.
, 2014b, The vocabulary of epistemology, with observations on some surprising shortcomings of the English language, in A. Reboul (ed.), Mind, values, and metaphysics II, Dordrecht, Springer, pp. 203-208.
, 2013a, Containment and variation: two strands in the development of analyticity from Aristotle to Martin-Löf, in M. Van Der Schaar (ed.), Judgement and the epistemic foundation of logic, Dordrecht, Springer, pp. 23-35.
, 2013b, Demonstrations versus proofs, being an afterword to constructions, proofs, and the meaning of the logical Constants, in M. Van Der Schaar (ed.), Judgement and the epistemic foundation of logic, Dordrecht, Springer, pp. 15-22.
, 2012, '"Inference versus consequence" revisited: inference, consequence, conditional, implication', Synthese 187 (3), 943-956.
with Dybjer, P. , Lindström, S. , Palmgren, E. (eds) , 2012, Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf, Springer, Dordrecht.
with Van Atten, M. , 2008, The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar theorem, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 60-77.
, 2006, 'Semantic values for natural deduction derivations', Synthese 148 (3), 623-638.
, 2004, Antirealism and the roles of truth, in I. Niiniluoto, M. Sintonen & J. Woleński (eds.), Handbook of epistemology, Dordrecht, Springer, pp. 437-466.
, 2003, Tarski and Leśniewski on languages with meaning versus languages without use, in J. Hintikka, T. Czarnecki, T. Placek & A. Rojszczak (eds.), Philosophy and logic in search of the Polish tradition, Dordrecht, Springer, pp. 109-128.
, 2002, A century of inference: 1837–1936, in P. Grdenfors, P. Gärdenfors, J. Woleński & K. Kijania-Placek (eds.), In the scope of logic, methodology and philosophy of science II, Dordrecht, Springer, pp. 565-580.
, 1999, Intuitionism and logical tolerance, in J. Woleński & E. Köhler (eds.), Alfred Tarski and the Vienna circle, Dordrecht, Springer, pp. 135-148.
, 1992, 'The general form of the operation in Wittgenstein's Tractatus', Grazer Philosophische Studien 42, 57-76.
, 1989a, 'Constructive generalized quantifiers', Synthese 79 (1), 1-12.