TY - GEN AU - Chaitin,Gregory J. TI - Algorithmic information theory SN - 0521343062 U1 - 005.1,CHA PY - 1987/// CY - Cambridge [Cambridgeshire], New York PB - Cambridge University Press KW - Computational complexity KW - LISP (Computer program language) KW - Machine theory N1 - Introduction (Page-1), Formalisms For Computation (Page-6), The Arithmetization (Page-7), The Arithmetization Of Register Machines (Page-7), A Version Of Pure LISP (Page-51), The LISP Interpreter EVAL (Page-69), Conceptual Development (Page-91), Program Size (Page-106), Randomness (Page-127), Incompleteness (Page-144) UR - http://www.loc.gov/catdir/description/cam023/87015876.html UR - http://www.loc.gov/catdir/toc/cam031/87015876.html ER -