with DeVidi, D. , 2016, Naturalizing natural deduction, in F. F. Abeles & M. E. Fuller (eds.), Modern logic 1850-1950, East and West, Basel, Birkhäuser, pp. 139-158.
, 1995a, A new semantics for the epistemology of geometry I: modeling spacetime structure, in U. Majer & H. Schmidt (eds.), Reflections on spacetime, Dordrecht, Springer, pp. 21-40.
, 1995b, A new semantics for the epistemology of geometry II: epistemological completeness of Newton—Galilei and Einstein—maxwell theory, in U. Majer & H. Schmidt (eds.), Reflections on spacetime, Dordrecht, Springer, pp. 41-69.