I know it's not technically mathematical, but someone in this community should point to Godel, Escher, Bach by Douglas Hofstadter. It is a fascinating book that partially explores the complexities within Escher's work.