Limits of mathematics a course on information theory and the limits of formal reasoning - Chaitin Gregory J (Singapore Springer-Verlag, 1998)
Keywords: Computer science-mathematics; Information theory; Reasoning