|
|
|
|
| LEADER |
00615 a2200181 4500 |
| 008 |
090330t xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 3 540 78105 6
|
| 082 |
|
|
|a 519.713 KOZ
|
| 100 |
|
|
|a Kozen, Dexter C
|9 4594
|
| 245 |
|
|
|a Automata and computability
|c Dexter C Kozen
|
| 260 |
|
|
|a Heidelberg
|b Springer - Verlag
|c 2002
|
| 300 |
|
|
|a xiii, 400p.
|
| 650 |
|
|
|a Machine theory.
|9 4595
|
| 650 |
|
|
|a Computable functions.
|9 4596
|
| 700 |
|
|
|a Kozen, Dexter C
|9 4597
|
| 942 |
|
|
|2 ddc
|c BK
|6 _
|
| 999 |
|
|
|c 85346
|d 85346
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 519713_KOZ
|7 0
|9 106738
|a DCA
|b DCA
|d 2009-03-30
|o 519.713 KOZ
|p CA003770
|r 2012-05-04
|w 2009-03-30
|y BK
|