|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
1/101142 |
| 008 |
090212s1965 eng d |
| 035 |
|
|
|l 10103140
|
| 040 |
|
|
|a GR-MY-UA
|b gre
|e aacr
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 511.35
|2 (22)
|
| 245 |
1 |
4 |
|a The undecidable :
|b basic papers on undercidable propositions, unsolvable problems and computable functions /
|c edited by Martin Davis.
|
| 260 |
|
|
|a Hewlett :
|b Raven,
|c 1965.
|
| 300 |
|
|
|a 440 σ. ;
|c 24 εκ.
|
| 504 |
|
|
|a Περιέχει ευρετήριο.
|
| 650 |
0 |
0 |
|a Recursive functions.
|
| 650 |
0 |
0 |
|a Gödel's theorem.
|
| 650 |
0 |
0 |
|a Turing machines.
|
| 650 |
0 |
0 |
|a Unsolvability (Mathematical logic)
|
| 650 |
0 |
0 |
|a Computable functions.
|
| 700 |
1 |
|
|a Davis, Martin,
|d 1928-
|e edt
|
| 852 |
|
|
|a INST
|b SAMOS
|c MAG
|e 20090212
|h 511.35 UND
|p 005300029365
|q 005300029365
|t BK
|y 0
|
| 901 |
|
|
|a BIBL3-2009-1
|
| 909 |
|
|
|a Σ
|b 155604
|
| 970 |
|
|
|a ΣΙΤΖΙΜΗ
|b ΓΙΑΣΕΜΗ
|z 2009/02/12
|