Geb. 5.4.1942 in Sagan, Promotion 1968 in Münster, Habilitation 1974 in Münster, 1974-1978 Professor in Heidelberg, seit 1978 Inhaber des Lehrstuhls für Mathematische Logik, Mitglied der Bayer. Akademie d. Wissenschaften