| title | ISBN-13 (ISBN-10)  | year of publica- tion  | other author(s) | 
|---|---|---|---|
| Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987 | 978-O-387-51527-4 (O-387-51527-5)  | 1989 | Japan) Logic Meeting (1987 Kyoto · J. Shinoda · T. Tugue | 
A. S. · T.A. · T.S. · Theodore A Slaman