J.]]T. A.]]T. Shinoda]]Slaman]]Tugue,Meeting on Mathematical Logic and Its Applications.Meeting on Mathematical Logic and Its Applications(1987 : Kyoto)：Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto,1987.Springer-Verlag,1989.
Meeting on Mathematical Logic and Its Applications(1987 : Kyoto)：Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto,1987
J.]]T. A.]]T. Shinoda]]Slaman]]Tugue,Meeting on Mathematical Logic and Its Applications.Springer-Verlag,1989.
