Participants

H. Barendregt, Utrecht; S. Bernini, Frankfurt; G. Bitsch, Tübingen; J. E. Bridge, Oxford; W. Buchholz, München; H. G. Carstens, Hannover; D. van Dalen, Utrecht; J. Diller, Münster; M. Dummett, Oxford; W. Felscher, Tübingen; P. G. Hancock, Oxford; D. R. Isaacson, Oxford; D. H. J. de Jongh, Amsterdam; G. Leversha, Manchester; E. G. K. Lopez-Escobar, Nijmegen; H. Luckhardt, Frankfurt; W. Maasz, München; P. Martin-Löf, Stockholm; G. H. Müller, Heidelberg; H. Osswald, München; H. Pfeiffer, Hannover; D. Prawitz, Oslo; P. Rath, Münster; B. Scarpellini, Basel; D. Schmidt, Wehrheim; R. Schoenberger, Basel; H. Schwichtenberg, Münster; C. A. Smorynski, Amsterdam; M. Stein, Münster; A. S. Troelstra, Oxford; H. Vogel, Münster; E. Wiedmer, Zürich