H Formal methods
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 12019 | 1005542 | GALERIE |
Sous-titre : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Type de doc : M
Ville d'édition : Dordrecht
Langue ouvrage : eng
Collection : Synthese library
ISSN Collection : 0166-6991
Class. Math. 1991 : 02-01 ; 02-02 ; 02Bxx ; 02Gxx ; 02Hxx
Lien SUDOC : https://www.sudoc.fr/014937395