H Systèmes formels
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 33984 | 1005372 | GALERIE |
Sous-titre : introduction à la logique et à la théorie des langages
ISBN10 : 2-225-82567-X
Type de doc : M
Ville d'édition : Paris
Pays d'édition : fr
Langue ouvrage : fre
Collection : Logique mathématiques informatique
ISSN Collection : 0995-2179 ; 0995-2179
Bibliographie : Bibliogr. p. 163
Class. Math. 1991 : 68Qxx
Lien SUDOC : https://www.sudoc.fr/002427834