|
|
|
|
| LEADER |
01212nam a2200409 4500 |
| 001 |
DLU210196542 |
| 005 |
##20210602 |
| 008 |
##080130s2007 nju 000 0 eng |
| 010 |
# |
# |
|a 2008270513
|
| 020 |
# |
# |
|a 9789812708953
|
| 020 |
# |
# |
|a 9789812708960 (pbk.)
|
| 020 |
# |
# |
|a 9812708952
|
| 020 |
# |
# |
|a 9812708960 (pbk.)
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 082 |
# |
# |
|a 511.3
|b CH-G
|
| 100 |
# |
# |
|a Chaitin, Gregory J.
|
| 245 |
# |
# |
|a Thinking about Gödel and Turing :
|b essays on complexity 1970-2007 /
|c Gregory J Chaitin ; with a foreword by Paul Davies.
|
| 246 |
# |
# |
|a Gödel and Turing and Turing
|
| 260 |
# |
# |
|a Hackensack, N.J. :
|b World Scientific,
|c c2007.
|
| 300 |
# |
# |
|a xix, 347 p. ;
|c 27 cm.
|
| 504 |
# |
# |
|a Includes bibliographical references and index.
|
| 650 |
# |
# |
|a Computational complexity.
|
| 650 |
# |
# |
|a Gödel's theorem.
|
| 650 |
# |
# |
|a Incompleteness theorems.
|
| 650 |
# |
# |
|a Logic, Symbolic and mathematical.
|
| 650 |
# |
# |
|a Metamathematics.
|
| 923 |
# |
# |
|a 01/2021
|
| 991 |
# |
# |
|a SH
|
| 992 |
# |
# |
|a 4085460
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Nguyễn Thanh Hương
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
