Finite model theory

Détails bibliographiques
Auteurs principaux : Ebbinghaus Heinz-Dieter (Auteur), Flum Jörg (Auteur)
Format : Livre
Langue : anglais
Titre complet : Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Édition : 2nd revised and enlarged edition
Publié : Berlin, New York : Springer , 1999
Description matérielle : 1 vol. (XIII-360 p.)
Collection : Perspectives in mathematical logic
Sujets :
LEADER 01402cam a2200445 4500
001 PPN081360649
003 http://www.sudoc.fr/081360649
005 20211105112600.0
010 |a 3-540-65758-4 
020 |a US  |b 9939853 
035 |a (OCoLC)491905859 
073 1 |a 9783540657583 
100 |a 20041028d1999 k y0frey0103 ba 
101 0 |a eng 
102 |a DE 
105 |a a z 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Finite model theory  |f Heinz-Dieter Ebbinghaus, Jörg Flum 
205 |a 2nd revised and enlarged edition 
210 |a Berlin  |a New York  |c Springer  |d 1999 
215 |a 1 vol. (XIII-360 p.)  |c ill.  |d 24 cm 
225 2 |a Perspectives in mathematical logic  |x 0172-6641 
320 |a Notes bibliogr. Index 
410 | |0 07051612X  |t Perspectives in mathematical logic  |x 0172-6641 
606 |3 PPN027868656  |a Algèbre abstraite  |2 rameau 
606 |3 PPN027244067  |a Optimisation mathématique  |2 rameau 
680 |a QA9.7  |b .E23 1999 
700 1 |3 PPN032002009  |a Ebbinghaus  |b Heinz-Dieter  |f 1939-....  |4 070 
701 1 |3 PPN032002017  |a Flum  |b Jörg  |4 070 
801 3 |a FR  |b Abes  |c 20191002  |g AFNOR 
801 0 |b DLC  |g AACR2 
801 2 |b DRB  |g AACR2 
930 |5 441092208:644986387  |b 441092208  |j u 
979 |a CCFA 
998 |a 856000