Logic Symposia, Hakone, 1979, 1980 - heftet, Engelsk, 1981