The P=NP Question and Gödel s Lost Letter - Lipton, Richard J.; SpringerLink (Online service) (Boston, MA : Springer US, 2010)
Keywords: Computer science; Information theory; Computer software; Algorithms; Logic, Symbolic and mathematical; Computer Science; Theory of Computation; Mathematics of Computing; History of Computing; Mathematical Logic and Foundations; Algorithm Analysis and Problem Complexity; Algorithms