Author: Gödel-Symposium in Salzburg (1983)