Abelian group theory / R. GÖBEL (1983)

Public ISBD Titre : Abelian group theory : Proceedings of the Conference held at the University of Hawaii, Honolulu, USA, December 28, 1982 - January 4, 1983 Type de document : collection Auteurs : R. GÖBEL, Auteur ; L. LADY, Auteur ; A. MADER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1983 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1006 Importance : XVI-771 p. ISBN/ISSN/EAN : 978-3-540-12335-4 Langues : Anglais Catégories : 03Cxx 03Exx 03FXX 12AXX 12BXX 12FXX 13AXX 13Cxx 13Dxx 13FXX 13GXX 13Hxx 13JXX 16A46 18EXX 18Fxx 18Gxx 20-04 20Kxx 22BXX Mots-clés : groupe abélien Note de contenu : références Abelian group theory : Proceedings of the Conference held at the University of Hawaii, Honolulu, USA, December 28, 1982 - January 4, 1983 [collection] / R. GÖBEL, Auteur ; L. LADY, Auteur ; A. MADER, Auteur . - Berlin : Springer-Verlag, 1983 . - XVI-771 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1006) . ISBN : 978-3-540-12335-4 Langues : Anglais Catégories : 03Cxx 03Exx 03FXX 12AXX 12BXX 12FXX 13AXX 13Cxx 13Dxx 13FXX 13GXX 13Hxx 13JXX 16A46 18EXX 18Fxx 18Gxx 20-04 20Kxx 22BXX Mots-clés : groupe abélien Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1312	LN 1006	Livre	Recherche	Salle	Disponible

Around classification theory of models / Saharon SHELAH (1986)

Public ISBD Titre : Around classification theory of models Type de document : monographie Auteurs : Saharon SHELAH, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1986 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1182 Importance : 279 p. ISBN/ISSN/EAN : 978-3-540-16448-7 Langues : Anglais Catégories : 03Cxx 03Exx Mots-clés : théorie des modèles Note de contenu : références Around classification theory of models [monographie] / Saharon SHELAH, Auteur . - Berlin : Springer-Verlag, 1986 . - 279 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1182) . ISBN : 978-3-540-16448-7 Langues : Anglais Catégories : 03Cxx 03Exx Mots-clés : théorie des modèles Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5356	LN 1182	Livre	Recherche	Salle	Disponible

Classification theory / J.T. Baldwin (1987)

Public ISBD Titre : Classification theory : Proceedings of the U.S. Israel workshop on Model theory in mathematical logic held in Chicago, Dec. 15-19,1985 Type de document : collection Auteurs : J.T. Baldwin, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1987 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1292 Importance : 500 p. ISBN/ISSN/EAN : 978-3-540-18674-8 Langues : Anglais Catégories : 03Cxx Mots-clés : théorie de la classification  théorie des modèles  logique mathématique Note de contenu : références Classification theory : Proceedings of the U.S. Israel workshop on Model theory in mathematical logic held in Chicago, Dec. 15-19,1985 [collection] / J.T. Baldwin, Auteur . - Berlin : Springer-Verlag, 1987 . - 500 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1292) . ISBN : 978-3-540-18674-8 Langues : Anglais Catégories : 03Cxx Mots-clés : théorie de la classification  théorie des modèles  logique mathématique Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
184	LN 1292	Livre	Recherche	Salle	Disponible

Éléments de logique mathématique / Georg KREISEL (Cop. 1967)

Public ISBD Titre : Éléments de logique mathématique : théorie des modèles Type de document : texte imprimé Auteurs : Georg KREISEL, Auteur ; Jean-Louis KRIVINE, Auteur Editeur : Paris [France] : Dunod Année de publication : Cop. 1967 Collection : Monographies de la société mathématique de France num. 3 Importance : VII-212 p. Langues : Français Catégories : 03-02 03Cxx Mots-clés : logique  théorie des modèles Note de contenu : bibliogr. Éléments de logique mathématique : théorie des modèles [texte imprimé] / Georg KREISEL, Auteur ; Jean-Louis KRIVINE, Auteur . - Paris (France) : Dunod, Cop. 1967 . - VII-212 p.. - (Monographies de la société mathématique de France; 3) . Langues : Français Catégories : 03-02 03Cxx Mots-clés : logique  théorie des modèles Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
216	KRE/02/3003	Livre	Recherche	Salle	Disponible
21022	KRE/02/8895	Livre	Recherche	Salle	Exclu du prêt
i678	KRE/02/i678 a	Livre	Recherche	Salle	Disponible
i678b	KRE/02/i678b b	Livre	Recherche	Salle	Exclu du prêt

Logic symposia Hakone 1979, 1980 / G. H. MÜLLER (1981)

Public ISBD Titre : Logic symposia Hakone 1979, 1980 : Proceedings of conferences held in Hakone, Japan. March 21-24, 1979 and February 4-7, 1980 Type de document : séminaire Auteurs : G. H. MÜLLER, Auteur ; G. TAKEUTI, Auteur ; T. Tugue, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 891 Importance : XI-394 p. ISBN/ISSN/EAN : 978-3-540-11161-0 Langues : Anglais Catégories : 03Cxx 03DXX 03Exx 03FXX 03Hxx Mots-clés : logique mathématique Note de contenu : références Logic symposia Hakone 1979, 1980 : Proceedings of conferences held in Hakone, Japan. March 21-24, 1979 and February 4-7, 1980 [séminaire] / G. H. MÜLLER, Auteur ; G. TAKEUTI, Auteur ; T. Tugue, Auteur . - Berlin : Springer-Verlag, 1981 . - XI-394 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 891) . ISBN : 978-3-540-11161-0 Langues : Anglais Catégories : 03Cxx 03DXX 03Exx 03FXX 03Hxx Mots-clés : logique mathématique Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1653	LN 891	Livre	Recherche	Salle	Disponible

Model theory of algebra and arithmetic / L. PACHOLSKI (1980)

Permalink

Models and sets / G. H. MÜLLER (1984)

Permalink

Models and ultraproducts / J .L. BELL (Cop. 1971)

Permalink

Set theory and model theory / Ronald Björn JENSEN (1981)

Permalink

The theory of models / J. W. ADDISON (1965)

Permalink

Théorie des modèles en logique mathématique / Aubert DAIGNEAULT (Cop. 1967)

Permalink

---

page 1/1