Finite model theory /
Guardado en:
| Autor Principal: | Ebbinghaus, Heinz-Dieter, 1939- |
|---|---|
| Otros Autores: | Flum, Jörg. |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin ; New York :
Springer,
c1995.
|
| Series: | Perspectives in mathematical logic
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Model theory /
por: Hodges, Wilfrid.
Publicado: (1993) -
Computable models /
por: Turner, Raymond, 1947-
Publicado: (2009) -
Finite model theory and its applications /
Publicado: (2007) -
Finite Model Theory
por: Ebbinghaus, Heinz-Dieter.
Publicado: (2006) -
History and philosophy of constructive type theory /
por: Sommaruga, Giovanni.
Publicado: (2010)
