MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122853.0
008 110630s1997 nyu||||| |||| 00| 0 eng d
020 |a 0387949070 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 9249  |a Kozen, Dexter C.,  |d 1951- 
245 1 0 |a Automata and computability.  |c Dexter C. Kozen. 
260 |a New York :   |b Springer,   |c 1997. 
300 |a xiii, 400 p. ;  |c 24 cm. 
490 0 |a Undergraduate texts in computer science 
504 |a Bibliografía: p. [373]-379 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
650 4 |a Mathematical logic. 
650 4 |a Formal languages. 
650 4 |a Computación mediante dispositivos abstractos. 
650 4 |a Computation by abstract devices. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-06-30 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_K88  |7 0  |9 7872  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 7  |o C F4 K88   |p 14622  |r 2023-01-24  |s 2015-03-12  |w 2008-06-09  |y LIBRO 
999 |c 5984  |d 5984