Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xi; 341 p.
ISBN 978-0-521-71820-2
London mathematical society lecture note series , 0379
Localisation : Collection 1er étage
logique # modèle fini # modèle algorithmique # théorie des modèles
03-06 ; 03C07 ; 03C13 ; 00B25
... Lire [+]