Elements of finite model theory /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ;
Springer,
c2010.
|
| Series: | Texts in theoretical computer science
EATCS series |
| Subjects: | |
| Online Access: | Contributor biographical information Publisher description Table of contents only |
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 001 | 13562989 | ||
| 003 | AR_CdUFM | ||
| 005 | 20160908124545.0 | ||
| 008 | 040419s2010 gw a | b 001 0 eng | ||
| 020 | |a 9783642059483 | ||
| 040 | |a DLC |c DLC |d DLC |d AR_CdUFM | ||
| 100 | 1 | |9 10073 |a Libkin, Leonid. | |
| 245 | 1 | 0 | |a Elements of finite model theory / |c Leonid Libkin. |
| 260 | |a Berlin ; |b Springer, |c c2010. | ||
| 300 | |a xiv, 315 p. : |b il. ; |c 24 cm. | ||
| 490 | 0 | |a Texts in theoretical computer science | |
| 490 | 0 | |a EATCS series | |
| 504 | |a Incluye referencias bibliográficas (p. [291]-303) e índice. | ||
| 541 | |a Importación de Publicaciones ; |c Compra Programa de Bibliotecas Res. 1038/10 ; |d 2011-08-19 ; |e 21114 ; |h $320 ; |o Libro | ||
| 650 | 4 | |a Lógica matemática. | |
| 650 | 4 | |a Computación por dispositivos abstractos. | |
| 650 | 4 | |a Administración de bases de datos. | |
| 650 | 4 | |a Lógica y significado de programas. | |
| 650 | 4 | |a Teoría de modelos. | |
| 650 | 4 | |a Mathematical logic. | |
| 650 | 4 | |a Computation by abstractc devices. | |
| 650 | 4 | |a Database management. | |
| 650 | 4 | |a Logics and meanings of programs. | |
| 650 | 4 | |a Model theory. | |
| 856 | 4 | 2 | |3 Contributor biographical information |u http://www.loc.gov/catdir/enhancements/fy0818/2004105855-b.html |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0818/2004105855-d.html |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/enhancements/fy0818/2004105855-t.html |
| 942 | |c LIBRO |2 | ||
| 945 | |a MCR |d 2011-08-19 | ||
| 952 | |0 0 |1 0 |2 CCS |4 0 |6 C_F41_L695 |7 0 |9 20564 |a MMA |b MMA |c 4 |d 2011-08-25 |e Programa de Bibliotecas Res. 1038/10: Importación de Publicaciones |g 0.00 |l 0 |o C F4.1 L695 |p 21114 |r 2023-01-24 |w 2011-08-25 |y LIBRO | ||
| 955 | |a pc17 2004-04-19 |a pv06 2004-10-07 to ASCD |a ja00 marcadia 2004-10-12 |a jp00 2004-10-22 |i jp02 2005-02-07 to SL |a aa07 2005-03-15 | ||
| 999 | |c 16133 |d 16132 | ||