|
|
|
|
| LEADER |
00554nam a2200145Ia 4500 |
| 008 |
150624b xxu||||| |||| 00| 0 eng d |
| 082 |
|
|
|a 515.5
|
| 100 |
|
|
|a Hermes, Hans
|
| 245 |
|
|
|a Enumerability, decidability computability:
|b an introduction to the theory of recursive functions /
|c Hans Hermes
|
| 260 |
|
|
|b Springer-Verlag,
|c 1969.
|
| 700 |
|
|
|a Hermann, G. T.
|
| 700 |
|
|
|a Plassmann, O.
|e translator.
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 8792
|d 8792
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 515_500000000000000_HER_E
|7 0
|9 8791
|a UL
|b UL
|c SEC
|d 1998-09-01
|l 0
|o 515.5 HER/E
|p 13846
|r 2012-10-27
|w 2012-10-27
|y BK
|