Logic Symposia, Hakone, 1979, 1980 Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980