Finite model theory /

Bibliographic Details
Main Author: Ebbinghaus, Heinz-Dieter, 1937
Other Authors: Flum, Jörg
Format: Book
Published: Berlin : Springer, 1995.
Series:Perspectives in mathematical logic
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122802.0
008 100309s1995 gw||||| |||| 00| 0 eng d
020 |a 354060149X 
040 |a AR_CdUFM 
100 1 |9 4622  |a Ebbinghaus, Heinz-Dieter,  |d 1937 
245 1 0 |a Finite model theory /   |c Heinz-Dieter Ebbinghaus, Jörg Flum. 
260 |a Berlin :   |b Springer,   |c 1995. 
300 |a xv, 327 p. :  |b il. ;  |c 24 cm. 
490 0 |a Perspectives in mathematical logic 
504 |a Includes bibliographical references (p. [313]-317) and index. 
650 4 |a Lógica matemática. 
650 4 |a Bases de datos. 
700 1 |9 5351  |a Flum, Jörg. 
942 |c LIBRO 
945 |a AB 
952 |0 0  |1 0  |2 MSC  |4 0  |6 M_03_E15F  |7 0  |9 7361  |a MMA  |b MMA  |c 2  |d 2008-06-09  |e FOMEC  |l 4  |o M 03 E15f   |p 14126  |r 2024-04-09 00:00:00  |s 2024-03-26  |w 2008-06-09  |y LIBRO 
999 |c 5570  |d 5570