Email Record: IBM Symposium on Mathematical Foundations of Computer Science, Mathematical Logic & Computer Science, 3, Kansai, 21-23 Aug., 1978