Author: Logic Symposia (1979 Hakone-machi, Japan)