Participants

K. R. Apt, Nijmegen; J. Bergstra, Utrecht; P. Bernays, Zürich; W. Buchholz, München; H. G. Carstens, Hannover; G. L. Cherlin, Heidelberg; H. Czermak, Salzburg; R. Deissler, Freiburg; J. Diller, Münster; V. H. Dyson, Calgary; U. Felgner, Heidelberg; W. Felscher, Tübingen; H. Hermes, Freiburg; G. Kreisel, Salzburg; H. Läuchli, Zürich; D. Leivant, Amsterdam; H. Luckhardt, Frankfurt; W. Maass, München; K. McAloon, Paris; H. Osswald, München; A. Oberschelp, Kiel; L. Pacholski, Wroclaw; H. Pfeiffer, Hannover; K.-P. Podewski, Hannover; W. Pohlers, München; B. Scarpellini, Basel; W. Schönfeld, Stuttgart; K. Schütte, München; J. Schulte Mönting, Tübingen; W. Schwabhäuser, Stuttgart; H. Schwichtenberg, Heidelberg; D. Scott, Oxford; D. Siefkes, Berlin; E. Specker, Zürich; R. Statman, Cambridge; G. Takeuti, Heidelberg; W. Thomas, Freiburg; A. S. Troelstra, Amsterdam; H. Volger, Tübingen; P. Weingartner, Salzburg; V. Weispfenning, Heidelberg