Mathematical Logic and Applications Proceedings of the Logic Meeting held in Kyoto, 1987 | EKB DL