TY - BOOK AU - Chaitin, Gregory J. CN - QA76.9.M35 CN - QA76.9.M35 CY - [New York] : DA - c1998. ID - 238867 KW - Computer science KW - Information theory. KW - Reasoning. PB - Springer, PP - [New York] : PY - c1998. SN - 981308359X T1 - The limits of mathematics :a course on information theory and the limits of formal reasoning / TI - The limits of mathematics :a course on information theory and the limits of formal reasoning / ER -