Participants

H. P. Barendregt, Utrecht; E. Börger, Münster; M. Boffa, Mons; W. Buchholz, München; D. van Dalen, Utrecht; R. Deißler, Freiburg; W. Deuber, Hannover; J. Diller, Münster; E. Drewitz, München; H.-D. Ebbinghaus, Freiburg; E. Eder, München; B. Falkenberg, Freiburg; U. Felgner, Tübingen; J.E. Fenstad, Oslo; R.O. Gandy, Oxford; J.Y. Girard, Paris; J. M. Glubrecht, Kiel; P. Hájek, Prag; H. Hermes, Freiburg; B. J. Koppelberg, Berlin; A. Labella, Roma; H. Läuchli, Zürich; H. Luckhardt, Frankurt; G. Mitchke, Darmstadt; G. H. Müller, Heidelberg; A. Oberschelp, Kiel; Th. Ottmann, Karlsruhe; P. Päppinghaus, Heidelberg; A. Pétry, Liège; W. Pohlers, München; A. Prestel; Konstanz; J. Reineke, Hannover; M. M. Richter, Aachen; D. Schmidt, Heidelberg; W. Schönfeld, Stuttgart; J. Schulte Mönting, Tübingen; W. Schwabhäuser, Stuttgart; H. Schwichtenberg, Heidelberg; D. Scott, Oxford; D. Siefkes, Berlin; C. Smorynski, Chicago; R. Statman, Cambridge; K. Steffens, Hannover; M. Stein, Münster; B. Stephan, Tübingen; L. W. Szczerba, Warszawa; A. S. Troelstra, Amsterdam; J. K. Truss, Oxford; Th. Wolf, Freiburg; M. Ziegler, Berlin