Title: Logic Symposia, Hakone, 1979 1980