, 2018a, Andrzej Mostowski and the notion of a model, in A. Garrido & U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw school, Dordrecht, Springer, pp. 673-691.
, 2018b, 'Proofs as cognitive or computational: Ibn Sı̄nā's innovations', Philosophy & Technology 31 (1), 131-153.
with Bour, P. , Heinzmann, G. , Schroeder-Heister, P. , 2015, 'Preface', Philosophia Scientiae 19 (1), 5-7.
, 2015, The move from one to two quantifiers, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic I, Basel, Birkhäuser, pp. 221-240.
with Heinzmann, G. , Bour, P. , Schroeder-Heister, P. (eds) , 2015, Philosophia Scientiae 19 (1).
with Heinzmann, G. , Schroeder-Heister, P. , 2014, 'Preface', Philosophia Scientiae 18 (3), 1-3.
, 2006, Two doors to open, in D. M. Gabbay, S. Goncharov & M. Zakharyaschev (eds.), Mathematical problems from applied logic I, Dordrecht, Springer, pp. 277-316.
with Wilson, R.J. , 2002, Musical patterns, in G. Assayag, H. G. Feichtinger & J. F. Rodrigues (eds.), Mathematics and music, Dordrecht, Springer, pp. 79-87.
, 1998a, Turing's philosophical error?, in L. J. Landau & J. G. Taylor (eds.), Concepts for neural networks, Dordrecht, Springer, pp. 147-169.