1. Top concepts
  2. mathematics
  3. mathematical logic
  4. recursion theory
  5. recursive functions