UNIVERSIDAD NACIONAL DEL SUR
|
|
Bibliotecas de Economía y Administración ·
Catálogo
UNIVERSIDAD NACIONAL DEL SUR |
| LDR | ·····cam##22·····4a#4500 |
| 001 | eeo002839 |
| 005 | 20171102101159.0 |
| 008 | 070220s2007####gw#a###g#b####001#0#eng## |
| 245 | 00 | $a Finite model theory and its applications / $c Erich Grädel ... [et al.]. |
| 260 | ## | $a Berlin ; $a New York : $b Springer, $c c2007. |
| 300 | ## | $a xi, 437 p. : $b il. ; $c 24 cm. |
| 490 | 0# | $a Texts in theoretical computer science, $x 1862-4499 |
| 504 | ## | $a Incluye referencias bibliográficas e índice. |
| 020 | ## | $a 9783540004288 (hardcover : alk. paper) |
| 700 | 1# | $a Grädel, Erich, $d 1958- |
| 830 | #0 | $a Texts in theoretical computer science |
| 082 | 00 | $a 511.3/4 $2 22 |
| 650 | #7 | $a Matemáticas. $2 Isoc |
| 650 | #7 | $a Modelo matemático. $2 Isoc |
| 010 | ## | $a ##2007923182 |
| 040 | ## | $a DLC $c DLC $d DLC |
| 050 | 00 | $a QA9.7 $b .F56 2007 |