Berechenbarkeit, Komplexität, Logik

InhaltsverzeichnisInhaltsübersicht.Erstes Buch: Elementare Berechnungstheorie.A: Mathematischer Algorithmusbegriff.B: Komplexität Algorithmischer Unlösbarkeit.C: Rekursivität und Komplexität.Zweites Buch: Elementare Prädikatenlogik.D: Logische Analyse Des Wahrheitsbegriffs.E: Logische Analyse Des Beweisbegriffs.F: Komplexität Logischer Entscheidungsprobleme.Bibliographie.Symbolverzeichnis.