Inhaltsü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.
Inhaltsverzeichnis
Inhaltsü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.
