|
|
|
|
| LEADER |
00892nam a22002291 4500 |
| 001 |
1/48708 |
| 008 |
190510s1987 gr 1 eng d |
| 020 |
|
|
|a 0262680521
|
| 035 |
|
|
|l 51706
|
| 040 |
|
|
|a DLC
|b GR-PeUP
|
| 082 |
0 |
0 |
|a 511.3. ROG
|
| 100 |
1 |
|
|a Rogers, H. (Hartley),
|d 1926-
|
| 245 |
1 |
0 |
|a Theory of recursive functions and effective computability /
|c Hartley Rogers, Jr.
|
| 260 |
|
|
|a Cambridge, Mass. :
|b MIT Press,
|c c1987.
|
| 300 |
|
|
|a xxi, 482 σ. ;
|c 24 εκ.
|
| 504 |
|
|
|a Περιέχει βιβλιογραφικές παραπομπές και ευρετήριο.
|
| 650 |
|
4 |
|a Recursive functions.
|
| 650 |
|
4 |
|a Computable functions.
|
| 650 |
|
4 |
|a Υπολογιστική.
|
| 650 |
|
4 |
|a Αναδρομικές συναρτήσεις.
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20190510
|h 511.3. ROG
|p 00181279
|q 00181279
|t LOAN
|y 0
|4 1
|
| 856 |
4 |
|
|d /webopac/covers/03/51706_0262680521.jpg
|
