A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03C20
Affiner la recherche Interroger des sources externes
Duality and definability in first order logic (1993) / Michael Makkai
Titre : Duality and definability in first order logic Type de document : texte imprimé Auteurs : Michael Makkai, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1993 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 503 Importance : IX-106 p. ISBN/ISSN/EAN : 978-0-8218-2565-5 Langues : Anglais (eng) Catégories : 03C20
03C40
03G30
18D05Mots-clés : logique du premier ordre dualité topos Note de contenu : références Duality and definability in first order logic [texte imprimé] / Michael Makkai, Auteur . - American Mathematical Society, 1993 . - IX-106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 503) .
ISBN : 978-0-8218-2565-5
Langues : Anglais (eng)
Catégories : 03C20
03C40
03G30
18D05Mots-clés : logique du premier ordre dualité topos Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5434 854/503 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