Bücher von Martin Otto

Martin Otto hat einen Begleiter, er nennt ihn beinahe liebevoll seinen Tiger. Doch handelt es sich dabei nicht um ein Tier. Herzrasen, Atemnot, Schweißausbrüche und das Gefühl zu sterben, das alles ist Martins Tiger: eine Angststörung. „Der Tiger im Nacken" gibt romanhaft Einblick in das Leben mit einer Angststörung. Der Autor erzählt in einzelnen Episoden, wie sich die Angststörung in seiner Kindheit entwickelte, um ihn fortan zu begleiten. Dabei überspannt er einen Zeitraum von beinahe dreißig Jahren – von 1975 bis 2004. Eindrucksvoll, informativ, geistreich und mit jeder Menge Humor gewährt der Autor dieses autobiografischen Erfahrungsberichts Einblick in sein Leben mit Angst- und Panikattacken. Ein Thema, dass Millionen Menschen betrifft. Dabei nehmen Angststörungen ganz unterschiedliche Ausprägungen an: vom leicht erschwerten Alltag bis hin zur völligen Unfähigkeit sein Leben zu meistern und alles zu verlieren – Freunde, Familie und Beruf. Eine heimtückische Erkrankung, die auch nahestehende Menschen oft nicht erkennen.Martin Otto versteht sein Buch nicht als Ratgeber, sondern möchte vielmehr Angehörigen, Freunden und Interessierten helfen, ein besseres Verständnis für die Lebenswelt Betroffener zu entwickeln.Martin Otto (geb. 1966) litt ab seiner Jugend bis Mitte Vierzig unter einer Angststörung. Inzwischen ist er selbstständiger Kunsthändler und Galerist, verheiratet und glücklicher Vater.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.