A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Muller, G. H.
Documents disponibles écrits par cet auteur
Affiner la rechercheHigher set theory : proceedings oberwolfach germany april 13-23 1977 / Muller, G. H. ; Dana S. Scott
Titre : Higher set theory : proceedings oberwolfach germany april 13-23 1977 Type de document : texte imprimé Auteurs : Muller, G. H., Editeur scientifique ; Dana S. Scott, Editeur scientifique Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 669 Importance : XII-476 ISBN/ISSN/EAN : 978-0-387-08926-3 Langues : Anglais Mots-clés : theorie des ensembles Index. décimale : LNM Higher set theory : proceedings oberwolfach germany april 13-23 1977 [texte imprimé] / Muller, G. H., Editeur scientifique ; Dana S. Scott, Editeur scientifique . - [S.l.] : Springer-Verlag, [s.d.] . - XII-476. - (Lecture Notes in Mathematics, ISSN 0075-8434; 669) .
ISBN : 978-0-387-08926-3
Langues : Anglais
Mots-clés : theorie des ensembles Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7563 LNM/669 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible
Titre : Isilc logic conference Type de document : texte imprimé Auteurs : Oberschelp, A. ; Muller, G. H. ; K. Potthoff, Editeur scientifique Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 499 Importance : IV-651 ISBN/ISSN/EAN : 978-0-387-07534-1 Langues : Anglais Mots-clés : theorie des ensembles recursion theorie des modeles Index. décimale : LNM Isilc logic conference [texte imprimé] / Oberschelp, A. ; Muller, G. H. ; K. Potthoff, Editeur scientifique . - [S.l.] : Springer-Verlag, [s.d.] . - IV-651. - (Lecture Notes in Mathematics, ISSN 0075-8434; 499) .
ISBN : 978-0-387-07534-1
Langues : Anglais
Mots-clés : theorie des ensembles recursion theorie des modeles Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7137 LNM/499 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible
Titre : Isilc proof theory symposion Type de document : texte imprimé Auteurs : Diller, J., Editeur scientifique ; Muller, G. H., Editeur scientifique Editeur : Springer-Verlag Année de publication : 1975 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 500 Importance : VIII-383 ISBN/ISSN/EAN : 978-0-387-07533-4 Langues : Anglais Mots-clés : theorie de la demonstration Index. décimale : LNM Isilc proof theory symposion [texte imprimé] / Diller, J., Editeur scientifique ; Muller, G. H., Editeur scientifique . - [S.l.] : Springer-Verlag, 1975 . - VIII-383. - (Lecture Notes in Mathematics, ISSN 0075-8434; 500) .
ISBN : 978-0-387-07533-4
Langues : Anglais
Mots-clés : theorie de la demonstration Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7142 LNM/500 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible
Titre : Logic symposia hakone 1979-1980 : proceedings of conferences held in Hakone japan Type de document : texte imprimé Auteurs : Takeuti, G. ; Muller, G. H. ; T. Tugue, Editeur scientifique Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 891 Importance : XI-394 ISBN/ISSN/EAN : 978-0-387-11161-2 Langues : Anglais Mots-clés : logique Index. décimale : LNM Logic symposia hakone 1979-1980 : proceedings of conferences held in Hakone japan [texte imprimé] / Takeuti, G. ; Muller, G. H. ; T. Tugue, Editeur scientifique . - [S.l.] : Springer-Verlag, [s.d.] . - XI-394. - (Lecture Notes in Mathematics, ISSN 0075-8434; 891) .
ISBN : 978-0-387-11161-2
Langues : Anglais
Mots-clés : logique Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5428 LNM/891 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible
Titre : Models and sets : part I , logic colloquium aachen 1983 Type de document : texte imprimé Auteurs : Richter, M. M. Eds. ; Muller, G. H. Editeur : Springer-Verlag Année de publication : 1984 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1103 Importance : VIII,484 ISBN/ISSN/EAN : 978-0-387-13900-5 Langues : Anglais Mots-clés : models sets Index. décimale : LNM Models and sets : part I , logic colloquium aachen 1983 [texte imprimé] / Richter, M. M. Eds. ; Muller, G. H. . - [S.l.] : Springer-Verlag, 1984 . - VIII,484. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1103) .
ISBN : 978-0-387-13900-5
Langues : Anglais
Mots-clés : models sets Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8477 LNM/1103 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible
Permalink
