Decidability and Boolean representations / Burris, Stanley

Public ISBD Titre : Decidability and Boolean representations : I. Decidable varieties with modular congruence lattices. II. Boolean representable varieties Type de document : texte imprimé Auteurs : Burris, Stanley ; McKenzie, Ralph Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1981 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 246 Importance : vii - 106 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C05 Equational classes, universal algebra 08-XX General algebraic systems:08BXX Varieties :08B10 Congruence modularity, congruence distributivity Mots-clés : abelian variety  discriminator variety  locally finite varieties  modular varieties  decidable first order theory  varietal product  variety of universal algebras Index. décimale : Mem Decidability and Boolean representations : I. Decidable varieties with modular congruence lattices. II. Boolean representable varieties [texte imprimé] / Burris, Stanley ; McKenzie, Ralph . - Providence, R.I. : American Mathematical Society, 1981 . - vii - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 246) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C05 Equational classes, universal algebra 08-XX General algebraic systems:08BXX Varieties :08B10 Congruence modularity, congruence distributivity Mots-clés : abelian variety  discriminator variety  locally finite varieties  modular varieties  decidable first order theory  varietal product  variety of universal algebras Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15228	Mem/246	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1