Finite model theory - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg (Berlín : Springer, 1999)
Keywords: TEORIA DE MODELOS; ANALISIS MATEMATICO NO ESTANDAR; LOGICA, SIMBOLICA Y MATEMATICA