TY - GEN AU - Shinoda, J. AU - Slaman,T.A. AU - Tuguae,T. TI - Mathematical logic and applications : Proceedings of the Logic Meeting held in Kyoto, 1987 T2 - Lecture notes in mathematics SN - 0387515275 (U.S.) : U1 - 510 511.3 PY - 1989/// CY - Berlin , New York PB - Springer-Verlag KW - Logic, Symbolic and mathematical N1 - Contine bibliografie ER -