عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook12562
eng
Thinking about G?del and Turing
:G?del and Turing. ;
Hackensack, N.J. :
: World Scientific,
, 2007.
Print
G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
Chaitin, Gregory J. ;
old catalog
