Introduction to Kolmogorov complexity and its applications - Li Ming; Vitanyi Paul (New York Springer-Verlag, 1993)
Keywords: Kolmogorov complexity; Mathematical logic