The P=NP Question and Gödel's lost letter - Lipton, Richard J. 1946- (Springer, 2010)
Keywords: Informatik; Computer science; Information theory; Computer software; Algorithms; Logic, Symbolic and mathematical; Berechnungskomplexität; Aufsatzsammlung