Symposium "Rekursive Kombinatorik" (1983 Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)