Seit beinahe einem Jahrhundert sind Mathematiker und Logiker mit Erfolg bemiiht, aus der Logik eine strenge Wissen schaft zu machen. Dieses Ziel ist in einem gewissen Sinn erreicht worden: man hat gelemt, in der Logistik mit Symbolen und Formeln ii. hnlich denen der Mathematik in strenger Weise zu operieren. Aber ein logisches Buch muB auBer den Formeln auch Zwischentext enthalten, der mit Hilfe der gewohnlichen Wort sprache iiber die Formeln spricht und ihren Zusammenhang kIar macht. Dieser Zwischentext laBt oft an Klarheit und Exakt heit manches zu wiinschen ubrig. In den letzten Jahren nun...