Logic Symposia, Hakone, 1979, 1980 - häftad, Engelska, 1981