Vol. 1388. Shinoda, J.; Slaman, A.; Tugue, T. (Eds.)
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987
QA9.3 M37