m
     
MathOuvrage

H 0 The Classical decision problem

Börger, Egon ; Grädel, Erich ; Gurevich, Yuri

Springer

1997

x, 482 p. ; 24 cm

9783540423249

42547

décision ; logique mathématique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 42547 1026794 GALERIE

ISBN10 : 3-540-42324-9

Type de doc : M

Ville d'édition : Berlin ; Heidelberg ; New York NY

Pays d'édition : de

Langue ouvrage : eng

Bibliographie : Bibliogr. p. 421-476

Class. Math. 2000 : 03-02 ; 03B10 ; 03B25 ; 03C13 ; 03D15 ; 03D35 ; 68Q25

Lien SUDOC : https://www.sudoc.fr/073399205

Z