M. Reynolds - Böcker

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

In "The Sappho History" Margaret Reynolds traces the story of the reception of Sappho's poetry and her afterlife in literature and art from the mid-18th century. For women writers in the Romantic period, she symbolized possibility; for the young Tennyson, she was a private ancestor helping him make his own name as a poet. Richly illustrated throughout, this book provides a fresh view of Western culture from the Romantic period to the modern.

In The Sappho History , Margaret Reynolds traces the story of the reception of Sappho's poetry and her afterlife in literature and art from the mid eighteenth-century to the twentieth-century. Richly illustrated throughout, The Sappho History provides a new view of Western culture from the Romantic period to the Modern.