TY  - BOOK
AU  - Shinoda,J.
AU  - Slaman,T.A.
AU  - Tugué,T.
TI  - Mathematical logic and applications: proceedings of the Logic Meeting held in Kyoto, 1987 
T2  - Lecture notes in mathematics
SN  - 0387515275
PY  - 1989///
CY  - Berlin , New York 
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references
ER  -