A list of interesting topics I will read when I have spare time.

Ich muss wissen. Ich will weiss.


References
1. Handbook of Mathematical Logic (edited by Barwise)
2. Aspects of Incompleteness (by Lindström)
3. Computability and Logic (by Boolos and Jeffrey)
4. Gems of Theoretical Computer Science (by Schöning and Pruim)
5. The Incompleteness Phenomenon (by Goldstern and Judah)
6. Model Theory (3rd edition, by Chang and Keisler)
7. Theory of Recursive Functions and Effective Computability (by Hartley Rogers, Jr)
8. Set Theory (by Jech)
9. Set Theory - An Introduction to Independence Proofs (by Kunen)
10. Introduction to Lattices and Order (by Davey and Priestley)
11. Recursive Function Theory and Logic (by Yasuhara)
12. The Classical Decision Problem (by Börger, Grädel, and Gurevich)
13. A Course in Mathematical Logic (by Bell and Machover)
14. Set Theory and the Continuum Hypothesis (by Cohen)
15. Introduction to Set Theory (by Hrbacek and Jech)
16. Recursively Enumerable Sets and Degrees (by Soare)
17. Infinity and the Mind (by Rucker)
18. Cornerstones of Undecidability (by Rozenberg and Salomaa)
19. Mathematical Logic (by Shoenfield)
20. Diagonalization and Self-Reference (by Smullyan)
21. The Incompleteness Phenomenon: A New Course in Mathematical Logic (by Goldstern and Judah)
22. A Shorter Model Theory (by Wilfrid Hodges)
23. A Mathematical Introduction to Logic (by Enderton)
24. Mathematical Logic (by Ebbinghaus, Flum, and Thomas)
25. Computational Complexity (by Papadimitriou)
26. Proof Theory (by Takeuti)
27. Hilbert's Tenth Problem (by Matiyasevich)
28. Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties (by Ausiello and et al.)
29. The Complexity Theory Companion (by Hemaspaandra & Ogihara)
30. Constructibility (by Devlin)
31. Vicious Circles (by Barwise & Moss)
32. Approximation Algorithms (by V.V. Vazirani)
33. The Banach-Tarski Paradox (by Wagon)
34. Complex Analysis (by Ahlfors)
35. Functions of One Complex Variable II (by J. B. Conway)
36. Classical Topology and Combinatorial Group Theory, 2nd edition (by J. Stillwell)
37. The Theory of Groups, 2nd edition (by J. Rotman)
38. The Pea and the Sun: A Mathematical Paradox (by Wapner)