, 1997, Recent developments of logic, computer science, and philosophy of science in Japan, in K. Doets & D. Mundici (eds.), Structures and norms in science, Dordrecht, Springer, pp. 473-480.