2 résultat(s) recherche sur le mot-clé 'theories'

Toposes, triples and theories / Barr, M.

Public ISBD Titre : Toposes, triples and theories Type de document : texte imprimé Auteurs : Barr, M. ; Wells, C. Editeur : Springer-Verlag Année de publication : 1985 Collection : Grundlehren der mathematischen Wissenschaften num. 278 Importance : xii - 345 p. ISBN/ISSN/EAN : 978-0-387-96115-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : sheaf categories  logical functor  finite colimits  theoretical computer science  sketches  internal logic  theories  triples  toposes Index. décimale : 18A Toposes, triples and theories [texte imprimé] / Barr, M. ; Wells, C. . - [S.l.] : Springer-Verlag, 1985 . - xii - 345 p.. - (Grundlehren der mathematischen Wissenschaften; 278) . ISBN : 978-0-387-96115-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : sheaf categories  logical functor  finite colimits  theoretical computer science  sketches  internal logic  theories  triples  toposes Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4529	18A54	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

Model theory / Marker, David

Public ISBD Titre : Model theory : an introduction Type de document : texte imprimé Auteurs : Marker, David Editeur : New York, NY : Springer Année de publication : 2002 Collection : Graduate Texts in Mathematics num. 217 Importance : viii - 342 p. ISBN/ISSN/EAN : 978-0-387-98760-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory Mots-clés : theories  sets of sensences  mathematical structures  model theory Index. décimale : 03C Monographie Model theory : an introduction [texte imprimé] / Marker, David . - New York, NY : Springer, 2002 . - viii - 342 p. . - (Graduate Texts in Mathematics; 217) . ISBN : 978-0-387-98760-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory Mots-clés : theories  sets of sensences  mathematical structures  model theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16745	03C165	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible