Finite and algorithmic model theory

Enregistré dans:
Détails bibliographiques
Autres auteurs : Esparza Javier (Éditeur scientifique), Michaux Christian (Éditeur scientifique), Steinhorn Charles (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Finite and algorithmic model theory / edited by Javier Esparza,... Christian Michaux,... Charles Steinhorn,...
Publié : Cambridge, New York (etc.) : Cambridge University Press , cop. 2011
Description matérielle : 1 vol. (XI-341 p.)
Collection : London Mathematical Society lecture note series ; 379
Sujets :
LEADER 01746cam a2200481 4500
001 PPN151709416
003 http://www.sudoc.fr/151709416
005 20190627114000.0
010 |a 978-0-521-71820-2  |b br. 
010 |a 0-521-71820-1  |b br. 
020 |a US  |b 2010048062 
020 |a GB  |b B0A7488 
035 |a (OCoLC)758617026 
100 |a 20110419d2011 k y0frey0103 ba 
101 0 |a eng 
102 |a GB 
105 |a a a 000yy 
106 |a r 
200 1 |a Finite and algorithmic model theory  |b Texte imprimé  |f edited by Javier Esparza,... Christian Michaux,... Charles Steinhorn,... 
210 |a Cambridge  |a New York (etc.)  |c Cambridge University Press  |d cop. 2011 
215 |a 1 vol. (XI-341 p.)  |c fig.  |d 23 cm 
225 2 |a London Mathematical Society lecture note series  |v 379 
320 |a Bibliogr. p.339-341 
410 | |0 013284878  |t London Mathematical Society lecture note series  |x 0076-0552  |v 379 
606 |3 PPN027237869  |a Théorie des modèles  |2 rameau 
606 |3 PPN027234886  |a Informatique  |3 PPN02723875X  |x Mathématiques  |2 rameau 
676 |a 511.3/4  |v 22 
680 |a QA9.7  |b .F565 2011 
686 |a 03-06  |c 2000  |2 msc 
686 |a 03C07  |c 2000  |2 msc 
686 |a 03C13  |c 2000  |2 msc 
702 1 |3 PPN110961552  |a Esparza  |b Javier  |f 1964-....  |4 340 
702 1 |3 PPN058457119  |a Michaux  |b Christian  |4 340 
702 1 |3 PPN075197707  |a Steinhorn  |b Charles  |4 340 
801 3 |a FR  |b Abes  |c 20111109  |g AFNOR 
801 0 |b DLC  |g AACR2 
801 2 |b UKM  |g AACR2 
915 |5 441092208:63961843X  |b 20890 
930 |5 441092208:63961843X  |b 441092208  |a ERC/03B19  |j u 
979 |a CCFA 
991 |5 441092208:63961843X  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 20890  |d CMB  |e BAP  |s d  |c ERC/03B19 
998 |a 849704