Text this: Theories of computational complexity / Cristian Calude.