Proof Complexity (Encyclopedia of Mathematics and its Applications, Band 170)
171.47 EUR
Ein umfassendes Buch über Beweiskomplexität, das die Grenzen zwischen Logik, Komplexitätsklassen und algorithmischer Analyse erkundet; es liefert neue Perspektiven für Mathematiker und Informatiker.