J. Shinoda and T. A. Slaman and T. Tugue.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. Shinoda and T. A. Slaman and T. Tugue.Springer-Verlag,1989.
