Գրեք սա: Logic Symposia : Hakone, 1979, 1980 :