Start with high-confidence mathematical logic books, then narrow by subgenre or adjacent topics.
Gödel, Escher, Bach
Douglas R Hofstadter