m

F Nous contacter

0
     
Congrès

H 0 Finite and algorithmic model theory.
Based on a workshop
Durham # january 9-13, 2006

Esparza, Javier (Editeur) ; Michaux, Christian (Editeur) ; Steinhorn, Charles (Editeur)

Cambridge University Press

2011

xi; 341 p.

978-0-521-71820-2

00036814

03-06 ; 03C07 ; 03C13 ; 00B25

logique # modèle fini # modèle algorithmique # théorie des modèles

Ville d'édition : Cambridge ; New York

Pays d'édition : Grande-Bretagne ; États-Unis

Langue : Anglais

EAN13 : 9780521718202

Collation : 23 cm#broch.#bibliogr.

Collection : London mathematical society lecture note series

N° de collection : 0379

Localisation : Collection 1er étage

Nom de la rencontre : Finite and algorithmic model theory

Année de la rencontre : 2006

Ville du congrès : Durham

Pays du congrès : Grande-Bretagne

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00036814 [disponible]
Z