Text this: Logic Symposia, Hakone, 1979, 1980 :