, 2012a, 'The epistemic significance of valid inference', Synthese 187 (3), 887-898.
, 2012b, Truth and proof in intuitionism, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 45-67.
, 2008, Proofs verifying programs and programs producing proofs: a conceptual analysis, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 81-94.
, 2006, 'Meaning approached via proofs', Synthese 148 (3), 507-524.
, 1999, The significance of philosophical logic, in R. Egidi (ed.), In search of a new humanism, Dordrecht, Springer, pp. 157-161.
with Hintikka, J. , 1996, 'Preface', Synthese 106 (1), 1-1.
, 1994, 'Meaning and experience', Synthese 98 (1), 131-141.
, 1987a, Dummett on a theory of meaning and its impact on logic, in B. M. Taylor (ed.), Michael Dummett, Dordrecht, Springer, pp. 117-165.
, 1987b, 'Some remarks on verificationistic theories of meaning', Synthese 73 (3), 471-477.
, 1981a, Philosophical aspects of proof theory, in G. Fløistad & G. H. Von Wright (eds.), Philosophie du langage, logique philosophique / Philosophy of language, philosophical logic, Dordrecht, Springer, pp. 235-277.