Vista normal
Vista MARC
Finite model theory / Heinz-Dieter Ebbinghaus, Jorg Flum.
Tipo de material:
TextoSeries Springer monographs in mathematicsDetalles de publicación: New York, NY : Springer, 2005.Edición: 2nd ed., revised and enlargedDescripción: xi, 360 p. : il. ; 24 cmISBN: - 9783540287872 (alk. paper)
- 3540287876 (alk. paper)
- 3540657584 (2nd editon Springer-Verlag)
- QA 9.7 E23.2005
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
| Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.7 E23.2005 (Navegar estantería(Abre debajo)) | ej. 1 | Disponible | BFXC058328 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
| QA 9.65 N38 El teorema de Gödel / | QA 9.65 N38 El teorema de Gödel / | QA 9.65 S6818.1995 Juegos por siempre misteriosos : recorriendo los caminos abiertos por Godel sobre la verdad y la probabilidad / | QA 9.7 E23.2005 Finite model theory / | QA 9.7 M4.1989 Instructor's manual : a concrete approach to mathematical modelling / | QA 9 7418.1984 Estudios sobre semántica / | QA 9.8 H63 Godel, Escher, Bach : an eternal golden braid / |
Incluye referencias bibliográficas (p. 339-3479) e índice.
