A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03C05
Affiner la recherche Interroger des sources externes
Algebraizable logics (1989) / W. J. BLOK
Titre : Algebraizable logics Type de document : texte imprimé Auteurs : W. J. BLOK, Auteur ; Don PIGOZZI, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1989 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 396 Importance : V-78 p. ISBN/ISSN/EAN : 978-0-8218-2459-7 Langues : Anglais (eng) Catégories : 03B45
03B55
03B60
03C05
03G99Mots-clés : logique algébrique Note de contenu : index, bibliogr. Algebraizable logics [texte imprimé] / W. J. BLOK, Auteur ; Don PIGOZZI, Auteur . - American Mathematical Society, 1989 . - V-78 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 396) .
ISBN : 978-0-8218-2459-7
Langues : Anglais (eng)
Catégories : 03B45
03B55
03B60
03C05
03G99Mots-clés : logique algébrique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 802 854/396 Livre Recherche Salle Disponible Decidability and boolean representations (1981) / BURRIS Stanley
Titre : Decidability and boolean representations Type de document : monographie Auteurs : BURRIS Stanley, Auteur ; Ralph McKENZIE, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1981 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 246 ISBN/ISSN/EAN : 978-0-8218-2246-3 Note générale : Références Langues : Anglais (eng) Catégories : 03B25
03C05
08A05
08B10
08B99Mots-clés : logique mathématique algèbre universelle décidabilité variété algébrique représentation des algèbres Decidability and boolean representations [monographie] / BURRIS Stanley, Auteur ; Ralph McKENZIE, Auteur . - American Mathematical Society, 1981. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 246) .
ISBN : 978-0-8218-2246-3
Références
Langues : Anglais (eng)
Catégories : 03B25
03C05
08A05
08B10
08B99Mots-clés : logique mathématique algèbre universelle décidabilité variété algébrique représentation des algèbres Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1704 854/246 Livre Recherche Salle Disponible Nonmodular lattice varieties (1984) / Henry ROSE
Titre : Nonmodular lattice varieties Type de document : texte imprimé Auteurs : Henry ROSE, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 292 Importance : V-76 p. ISBN/ISSN/EAN : 978-0-8218-2292-0 Langues : Anglais (eng) Catégories : 03C05
03C10
06b20
06B25
08B15Mots-clés : théorie des treillis variété algébrique Note de contenu : références Nonmodular lattice varieties [texte imprimé] / Henry ROSE, Auteur . - American Mathematical Society, 1984 . - V-76 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 292) .
ISBN : 978-0-8218-2292-0
Langues : Anglais (eng)
Catégories : 03C05
03C10
06b20
06B25
08B15Mots-clés : théorie des treillis variété algébrique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1585 854/292 Livre Recherche Salle Disponible The equational classes generated by single functionally precomplete algebras (1985) / KNOEBEL Arthur
Titre : The equational classes generated by single functionally precomplete algebras Type de document : texte imprimé Auteurs : KNOEBEL Arthur, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1985 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 332 Importance : V-83 p. ISBN/ISSN/EAN : 978-0-8218-2333-0 Langues : Anglais (eng) Catégories : 03C05
08A05
08B15
08C05Mots-clés : algèbre universelle treillis permutation relation d'équivalence Note de contenu : index, références The equational classes generated by single functionally precomplete algebras [texte imprimé] / KNOEBEL Arthur, Auteur . - American Mathematical Society, 1985 . - V-83 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 332) .
ISBN : 978-0-8218-2333-0
Langues : Anglais (eng)
Catégories : 03C05
08A05
08B15
08C05Mots-clés : algèbre universelle treillis permutation relation d'équivalence Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2867 854/332 Livre Recherche Salle Disponible Varieties of lattices (1992) / Peter Jipsen
Titre : Varieties of lattices Type de document : monographie Auteurs : Peter Jipsen, Auteur ; Henry ROSE, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1992 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1533 Importance : VIII-162 p. ISBN/ISSN/EAN : 978-3-540-56314-3 Langues : Anglais (eng) Catégories : 03C05
03C07
03C20
06B05
06B10
06b20
06B25
06C05
06C20
08B-
08B05
08B10
08B15
08B20
08B25
08B26Mots-clés : théorie des treillis variété algébrique Note de contenu : index, bibliogr. Varieties of lattices [monographie] / Peter Jipsen, Auteur ; Henry ROSE, Auteur . - Springer-Verlag, 1992 . - VIII-162 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1533) .
ISBN : 978-3-540-56314-3
Langues : Anglais (eng)
Catégories : 03C05
03C07
03C20
06B05
06B10
06b20
06B25
06C05
06C20
08B-
08B05
08B10
08B15
08B20
08B25
08B26Mots-clés : théorie des treillis variété algébrique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5164 LN 1533 Livre Recherche Salle Disponible