A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'logique du premier ordre' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Duality and definability in first order logic / Michael Makkai (1993)
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 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 . - Providence, R. I. (Etats Unis) : 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
Catégories : 03C20
03C40
03G30
18D05Mots-clés : logique du premier ordre dualité topos Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5434 854/503 Livre Recherche Salle Disponible