Logic Symposia Hakone 1979, 1980 | doi.page