Martin Lange Books

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.

Gedichte von A–Z. Themen von klassisch-zeitlos bis aktuell-brisant. Gedanken von dunklen Zeiten, die Einzug halten, aber auch Ahnungen vom Guten, das auf den Plan tritt, wenn sich die Welt neu erfindet. Die Erkenntnis, ohne Masterplan im Leben Großes zu leisten, weil nicht die Größe des Erfolges, sondern das Leben unser Ziel ist: Schier alles, was uns bewegt, in Versen und gereimt, wie eben nur ein Dichter es kann.