Conference in mathematical logic - london '70 / Wilfrid Hodges

Public ISBD Titre : Conference in mathematical logic - london '70 Type de document : texte imprimé Auteurs : Wilfrid Hodges, Editeur scientifique Editeur : Springer-Verlag Année de publication : 1972 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 255 Importance : Vi-351 p. ISBN/ISSN/EAN : 978-0-387-05744-6 Langues : Anglais Mots-clés : logique mathematique langage infinitaire theorie des modeles Index. décimale : LNM Conference in mathematical logic - london '70 [texte imprimé] / Wilfrid Hodges, Editeur scientifique . - [S.l.] : Springer-Verlag, 1972 . - Vi-351 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 255) . ISBN : 978-0-387-05744-6 Langues : Anglais Mots-clés : logique mathematique langage infinitaire theorie des modeles Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7120	LNM/255	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Model theory / Wilfrid Hodges

Public ISBD Titre : Model theory Type de document : texte imprimé Auteurs : Wilfrid Hodges, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : impr. 2008 Collection : Encyclopedia of Mathematics and Its Applications num. 42 Importance : 1 vol. (XIII-772 p.) Format : 24 cm ISBN/ISSN/EAN : 0-521-06636-0 Index. décimale : 03C Monographie Model theory [texte imprimé] / Wilfrid Hodges, Auteur . - Cambridge : Cambridge University Press, impr. 2008 . - 1 vol. (XIII-772 p.) ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 42) . ISBN : 0-521-06636-0 Index. décimale : 03C Monographie

Exemplaires

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

A shorter model theory / Wilfrid Hodges

Public ISBD Titre : A shorter model theory Type de document : texte imprimé Auteurs : Wilfrid Hodges Editeur : Cambridge : Cambridge University Press Année de publication : 1997 Importance : x, 310 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-58713-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 : model theory  omitting types  stability  categoricity  quantifier elimination Index. décimale : 03C Monographie A shorter model theory [texte imprimé] / Wilfrid Hodges . - Cambridge : Cambridge University Press, 1997 . - x, 310 p. : ill. ; 23 cm. ISBN : 978-0-521-58713-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 : model theory  omitting types  stability  categoricity  quantifier elimination Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18327	03C173	imprimé / autre	CRDM	05/ANALYSE COMBINATOIRE	Disponible

---

page 1/1