Recursion theory for metamathematics

1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and Creative Systems 5. Double Generativity and Complete Effective Inseparability 6. Universal and Doubly Universal Systems 7. Shepherdson Revisited 8. Recursion Theorems 9. Symmetric and Double Recursion Theorems 10. Productivity and Double Productivity 11. Three Special Topics 12. Uniform Godelization