User:Geek96boolean10/Books/Brainstep

When you're ready to get to the next level of knowledge

 * Artificial intelligence
 * Boolean satisfiability problem
 * Catch-22 (logic)
 * First-order logic
 * Graph isomorphism
 * Irony
 * NP (complexity)
 * NP-completeness
 * P (complexity)
 * P versus NP problem
 * Paradox
 * Reduction (complexity)
 * Second-order logic
 * Set theory
 * String (computer science)
 * Theoretical computer science
 * Time complexity
 * Travelling salesman problem
 * Turing machine
 * Undecidable problem
 * Cherenkov radiation
 * Phase velocity
 * Positron