| 000 | 00415nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 150723s9999 xx 000 0 und d | ||
| 020 | _a1332 | ||
| 082 | _a 005.131 KOZ-A | ||
| 100 | _a Kozen, Dexter C | ||
| 245 | _a Automata and computability | ||
| 260 | _b Springer Publishing Co., New York | ||
| 300 | _a400 | ||
| 650 | _a Symbolic logic; Automata, Formal languages applied to programming langu | ||
| 942 | _cBK | ||
| 999 |
_c1215 _d1215 |
||