Vart kan man lära sig mer om komplexitetsteori?

Halloj!
Läste precis om komplexitetsteorin och blev genast mycket intresserad! Letade på google om böcker eller liknande men hittade inte mycket. Är det möjligen någon som har studerat ämnet eller vet vad det handlar om och har någon bok att tipsa om? Skulle uppskattas!

Wikipedia

KTH

Sverige har en framstående komplexitetsteoretiker i Johan Håstad, som är verksam på KTH och ger kurser där. Såg att dom använder Papadimitrou: Complexity Theory som kursbok. Det finns en massa böcker om detta ämne dock. En annan svensk som har tangerat detta ämne är Martin-Löf som gav en definition av slumpmässighet för oändliga strängar. Martin-Löf är annars mest känd för sin typ-teori som griper allt vidare kring sig, senast i termer av homotopi-teori.
Komplexitetsteori är en blandning av logik, matematik och lite datalogi, och ett rätt tekniskt område nuförtiden.

Förkunskaper till Papadimitrous bok?

Man bör nog ha läst en (hel) del matematikkurser för att få en njutbar upplevelse, annars kan man
säkert slugga sig igenom.

Här är en länk till Håstads "lecture notes" som kan användas för att se vad det hela handlar om.
http://www.nada.kth.se/~johanh/compl...cturenotes.pdf