Wir verwenden Cookies, um Ihre Erfahrung zu verbessern und den Seitenverkehr zu analysieren. Sie können wählen, welche Cookies Sie akzeptieren möchten.
Wesentlich
Für das Funktionieren der Webseite erforderlich. Kann nicht deaktiviert werden.
Analytik
Helfen Sie uns zu verstehen, wie Besucher mit unserer Webseite interagieren.
Marketing
Wird verwendet, um relevante Werbung zu liefern und Kampagnen zu verfolgen.
![[(Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday )] [Author: Robert L. Constable] [May-2012]](https://images.bookpine.com/e67adf1b-c255-46c9-8ef3-5c1ce5b6c97c.jpg)