3 résultat(s) recherche sur le mot-clé 'equational logic'

the Lattice of interpretability types of varieties / O.C. Garcia

Public ISBD Titre : the Lattice of interpretability types of varieties Type de document : texte imprimé Auteurs : O.C. Garcia ; W. Taylor Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 305 Importance : v - 125 p. Langues : Anglais Catégories : 08-XX General algebraic systems:08BXX Varieties :08B05 Equational logic, Mal'tsev conditions 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties 08-XX General algebraic systems:08BXX Varieties :08B25 Products, amalgamated products, and other kinds of limits and colimits Mots-clés : products of varieties  coproducts  varieties  equational logic  mal'cev conditions  lattice  fundamental operations  terms  language  interpretability Index. décimale : Mem the Lattice of interpretability types of varieties [texte imprimé] / O.C. Garcia ; W. Taylor . - Providence, R.I. : American Mathematical Society, 1984 . - v - 125 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 305) . Langues : Anglais Catégories : 08-XX General algebraic systems:08BXX Varieties :08B05 Equational logic, Mal'tsev conditions 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties 08-XX General algebraic systems:08BXX Varieties :08B25 Products, amalgamated products, and other kinds of limits and colimits Mots-clés : products of varieties  coproducts  varieties  equational logic  mal'cev conditions  lattice  fundamental operations  terms  language  interpretability Index. décimale : Mem

Exemplaires

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

a Course in universal algebra / S. Burris

Public ISBD Titre : a Course in universal algebra Type de document : texte imprimé Auteurs : S. Burris ; R. H. Sankappanavar Editeur : New York, NY : Springer Année de publication : 1981 Collection : Graduate Texts in Mathematics num. 78 Importance : xvi - 276 p. ISBN/ISSN/EAN : 978-0-387-90578-5 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) 08-XX General algebraic systems:08-02 Research exposition (monographs, survey articles) 08-XX General algebraic systems:08BXX Varieties Mots-clés : equational logic  mal'cev conditions  subdirect products  free algebras  isomorphism theorems  closure operations  complete lattices Index. décimale : 08C Monographie a Course in universal algebra [texte imprimé] / S. Burris ; R. H. Sankappanavar . - New York, NY : Springer, 1981 . - xvi - 276 p.. - (Graduate Texts in Mathematics; 78) . ISBN : 978-0-387-90578-5 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) 08-XX General algebraic systems:08-02 Research exposition (monographs, survey articles) 08-XX General algebraic systems:08BXX Varieties Mots-clés : equational logic  mal'cev conditions  subdirect products  free algebras  isomorphism theorems  closure operations  complete lattices Index. décimale : 08C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
149	08C04	imprimé / autre	CRDM	08/SYSTEMES ALGEBRIQUES GENERAUX	Disponible

Universal algebra / Grätzer, George

Public ISBD Titre : Universal algebra Type de document : texte imprimé Auteurs : Grätzer, George Mention d'édition : 2nd ed., with updates. Editeur : New York : Springer Année de publication : 2008 Importance : xviii, 586 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-387-77486-2 Langues : Anglais Catégories : 08-XX General algebraic systems:08-02 Research exposition (monographs, survey articles) 08-XX General algebraic systems:08AXX Algebraic structures 08-XX General algebraic systems:08BXX Varieties Mots-clés : research survey  primal algebras  congruence varieties  equational logic  equational compactness  independence  congruence lattice  subalgebra lattice  automorphism group of infinitary algebra Index. décimale : 08C Monographie Universal algebra [texte imprimé] / Grätzer, George  . -  2nd ed., with updates. . - New York : Springer, 2008 . - xviii, 586 p. : ill. ; 24 cm. ISBN : 978-0-387-77486-2 Langues : Anglais Catégories : 08-XX General algebraic systems:08-02 Research exposition (monographs, survey articles) 08-XX General algebraic systems:08AXX Algebraic structures 08-XX General algebraic systems:08BXX Varieties Mots-clés : research survey  primal algebras  congruence varieties  equational logic  equational compactness  independence  congruence lattice  subalgebra lattice  automorphism group of infinitary algebra Index. décimale : 08C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18977	08C05	imprimé / autre	CRDM	08/SYSTEMES ALGEBRIQUES GENERAUX	Disponible