Infinity in Logic and Computation, Fachbücher von Benedikt Löwe, Margaret Archibald, Vasco Brattka, Valentin F. Goranko

"Infinity in Logic and Computation" ist ein Fachbuch, das eine Auswahl von Beiträgen präsentiert, die auf der Internationalen Konferenz über Unendlichkeit in Logik und Berechnung (ILC 2007) in Kapstadt, Südafrika, vorgestellt wurden. Herausgegeben in Zusammenarbeit mit der FoLLI, der Vereinigung für Logik, Sprache und Information, umfasst der Band sieben überarbeitete Artikel sowie zwei eingeladene Vorträge. Diese Arbeiten wurden aus 27 ursprünglichen Einreichungen ausgewählt und behandeln verschiedene Aspekte der Unendlichkeit in der Automatentheorie, Logik, Berechenbarkeit und Verifikation. Die Themen reichen von Automaten auf unendlichen Objekten über Kombinatorik, Kryptographie und Komplexität bis hin zu unendlichen Spielen und deren Verbindungen zur Logik. Das Buch bietet einen tiefen Einblick in die Herausforderungen und Konzepte, die mit der Unendlichkeit in der Informatik und Logik verbunden sind.