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.
