1 résultat(s) recherche sur le mot-clé 'first-order language'

a Course in Model Theory / Poizat, B.

Public ISBD Titre : a Course in Model Theory : an Introduction to Contemporary Mathematical Logic Type de document : texte imprimé Auteurs : Poizat, B. ; Klein, M. Trad. Editeur : London : Springer Année de publication : 2000 Collection : Universitext ISBN/ISSN/EAN : 978-0-387-98655-5 Langues : Anglais Langues originales : Français 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:03C07 Basic properties of first-order languages and structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts Mots-clés : l?heim-skolem-tarski theorems  elementary extensions  first-order language  local isomorphisms between structures  stability theory  model theory Index. décimale : 03C Monographie a Course in Model Theory : an Introduction to Contemporary Mathematical Logic [texte imprimé] / Poizat, B. ; Klein, M. Trad. . - London : Springer, 2000. - (Universitext) . ISBN : 978-0-387-98655-5 Langues : Anglais Langues originales : Français 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:03C07 Basic properties of first-order languages and structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts Mots-clés : l?heim-skolem-tarski theorems  elementary extensions  first-order language  local isomorphisms between structures  stability theory  model theory Index. décimale : 03C Monographie

Exemplaires

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