|
|
|
|
| LEADER |
01697nam a2200457 a 4500 |
| 001 |
1934085 |
| 005 |
20171111235811.0 |
| 008 |
000605s1997 nyu erb 001 0 eng d |
| 020 |
|
|
|a 0387949070
|
| 040 |
|
|
|a TEIK
|b gre
|
| 050 |
|
|
|a QA267
|b .K69 1997
|
| 082 |
|
0 |
|a 511.3
|
| 082 |
|
0 |
|2 21
|a 511.3
|
| 082 |
|
0 |
|2 22
|a 511.3
|
| 082 |
|
0 |
|2 23
|a 511.3
|
| 082 |
|
0 |
|2 21 εκδ.
|a 511.3
|
| 100 |
1 |
0 |
|a Kozen, Dexter C.
|
| 245 |
0 |
0 |
|a Automata and computability/
|c Dexter C. Kozen
|
| 260 |
0 |
0 |
|a New York:
|b Springer,
|c 1997
|
| 300 |
0 |
0 |
|a 400σ. ;
|c 25εκ.
|
| 504 |
0 |
0 |
|a Περιέχει βιβλιογραφία και ευρετήριο
|
| 504 |
0 |
0 |
|a Includes bibliographical references and index.
|
| 504 |
0 |
0 |
|a Includes bibliographical references (p. [373]-379) and index
|
| 504 |
0 |
0 |
|a Includes bibliographical references and index.
|
| 504 |
0 |
0 |
|a Περιέχει βιβλιογραφικές αναφορές και ευρετήριο.
|
| 650 |
1 |
0 |
|a Logic
|x Mathematics
|
| 650 |
1 |
0 |
|a Machine theory
|
| 650 |
1 |
0 |
|a Computable functions
|
| 650 |
1 |
0 |
|a Machine theory
|
| 650 |
1 |
0 |
|a Computable functions
|
| 650 |
1 |
7 |
|a Mathematics
|
| 650 |
1 |
7 |
|a Logic
|
| 650 |
1 |
7 |
|a Computer science
|
| 650 |
1 |
7 |
|a Computation
|
| 650 |
1 |
0 |
|a ΛΟΓΙΚΗ, ΣΥΜΒΟΛΙΚΗ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ
|
| 650 |
1 |
0 |
|a ΘΕΩΡΙΑ ΜΗΧΑΝΩΝ
|
| 650 |
1 |
0 |
|a ΗΛΕΚΤΡΟΝΙΚΟΙ ΥΠΟΛΟΓΙΣΤΕΣ
|x ΜΑΘΗΜΑΤΙΚΑ
|
| 710 |
1 |
0 |
|a Springer
|
| 952 |
|
|
|a GR-VoPKT
|b 59cc85d06c5ad13446fe4e62
|c 998a
|d 945l
|e 511.3 KOZ
|t 1
|x m
|z Books
|
| 952 |
|
|
|a GRThAnMak
|b 59cc9f8b6c5ad13446020cbd
|c 998a
|d 945l
|e 511.3 KOZ
|t 10
|x m
|z Books
|
| 952 |
|
|
|a GrAtEKP
|b 59cd21246c5ad13446106501
|c 998a
|d 945l
|e 511.3 KozD a 1997
|t 4
|x m
|z Books
|
