Finite model theory /

Detalles Bibliográficos
Autores principales: Ebbinghaus, Heinz-Dieter 1939- (Autor, Autor/a), Flum, Jörg (Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, 1999.
Edición:2. edition rev. and enl.
Colección:Perspectives in mathematical logic
Materias:
LEADER 00988nam a2200301 u 4500
001 000103827
005 20080811081512.0
008 080804s1999 gw ||||| eng
020 |a 3540657584 
035 |a 9099783 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 0 |a eng 
082 0 |a 511.34  |b E16f2  |2 22 
100 1 |a Ebbinghaus, Heinz-Dieter  |d 1939-  |e Autor/a  |4 aut 
245 1 0 |a Finite model theory /  |c Heinz-Dieter Ebbinghaus, Jörg Flum 
250 |a 2. edition rev. and enl. 
260 |a Berlín :  |b Springer,  |c 1999. 
300 |a xiii, 360 páginas 
490 0 |a Perspectives in mathematical logic 
650 |a TEORIA DE MODELOS 
650 |a ANALISIS MATEMATICO NO ESTANDAR 
650 |a LOGICA, SIMBOLICA Y MATEMATICA 
700 1 |a Flum, Jörg  |e Autor/a  |4 aut 
900 |a 2008 
912 |a 11-AUG-2008 - GOMEZ ESTRADA, MARIA EUGENIA 
917 |a 04-AUG-2008 - ALVARADO MONGE, KATTIA YENORY 
949 |a MEG -MEG 
916 |a Centro Catalográfico