Quelle: HAdW	Prof. Dr. Hans Hermes
	†10.11.2003
mn-Klasse:	oM seit 1967
fachgebiet:	Mathematische Logik und Grundlagen der Mathematik