H Decidability and boolean representations
Burris, Stanley ; Mackenzie, Ralph
1981
viii, 106 p.
18446
logique mathématique ; algèbre universelle ; décidabilité ; variété algébrique ; représentation des algèbres
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 18446 | 1031666 | PERIO |
ISBN10 : 0-8218-2246-2
Type de doc : M
Ville d'édition : Providence RI
Pays d'édition : us
Langue ouvrage : eng
Collection : Memoirs of the american mathematical society
N° dans la collection : 246
ISSN Collection : 0065-9266
Bibliographie : Bibliogr. p. 104-106
Class. Math. 1991 : 03B25 ; 03C05 ; 08A05 ; 08B10 ; 08B99
Class. Library : QA251.B88
N° LCCCN : 81-7902
Class. Dewey : 512
Lien SUDOC : https://www.sudoc.fr/024208388