A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur G. H. MÜLLER
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesHigher set theory (1978) / G. H. MÜLLER
Titre : Higher set theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 Type de document : texte imprimé Auteurs : G. H. MÜLLER, Editeur scientifique ; Dana S. SCOTT, Editeur scientifique Editeur : Berlin : Springer-Verlag Année de publication : 1978 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 669 Importance : XII-476 p. ISBN/ISSN/EAN : 978-3-540-08926-1 Langues : Anglais (eng) Catégories : 02F27
02K05
02K15
02K30
02K35Mots-clés : théorie des ensembles Note de contenu : références Higher set theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 [texte imprimé] / G. H. MÜLLER, Editeur scientifique ; Dana S. SCOTT, Editeur scientifique . - Springer-Verlag, 1978 . - XII-476 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 669) .
ISBN : 978-3-540-08926-1
Langues : Anglais (eng)
Catégories : 02F27
02K05
02K15
02K30
02K35Mots-clés : théorie des ensembles Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14182 LN 669 Livre Recherche Salle Disponible Logic conference. Kiel 1974 (1975) / G. H. MÜLLER
Titre : Logic conference. Kiel 1974 : Proceedings of the international summer institute and logic colloquium, Kiel 1974 Type de document : monographie Auteurs : G. H. MÜLLER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 499 ISBN/ISSN/EAN : 978-3-540-07534-9 Langues : Anglais (eng) Catégories : 02-XX
04-XX
68-xxMots-clés : logique mathématique Logic conference. Kiel 1974 : Proceedings of the international summer institute and logic colloquium, Kiel 1974 [monographie] / G. H. MÜLLER, Auteur . - Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 499) .
ISBN : 978-3-540-07534-9
Langues : Anglais (eng)
Catégories : 02-XX
04-XX
68-xxMots-clés : logique mathématique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2890 LN 499 Livre Recherche Salle Disponible Logic symposia Hakone 1979, 1980 (1981) / G. H. MÜLLER
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 (eng) Catégories : 03Cxx
03DXX
03Exx
03FXX
03HxxMots-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 . - Springer-Verlag, 1981 . - XI-394 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 891) .
ISBN : 978-3-540-11161-0
Langues : Anglais (eng)
Catégories : 03Cxx
03DXX
03Exx
03FXX
03HxxMots-clés : logique mathématique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1653 LN 891 Livre Recherche Salle Disponible Models and sets (1984) / G. H. MÜLLER
Titre : Models and sets : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part I Type de document : séminaire Auteurs : G. H. MÜLLER, Auteur ; M.M. Richter, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1984 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1103 Importance : VIII-484 p. ISBN/ISSN/EAN : 978-3-540-13900-3 Langues : Anglais (eng) Catégories : 03Cxx
03Exx
03Gxx
03HxxMots-clés : logique symbolique théorie des modèles théorie des ensembles Note de contenu : références Models and sets : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part I [séminaire] / G. H. MÜLLER, Auteur ; M.M. Richter, Auteur . - Springer-Verlag, 1984 . - VIII-484 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1103) .
ISBN : 978-3-540-13900-3
Langues : Anglais (eng)
Catégories : 03Cxx
03Exx
03Gxx
03HxxMots-clés : logique symbolique théorie des modèles théorie des ensembles Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2306 LN 1103 Livre Recherche Salle Disponible Recursion theory week (1990) / K. AMBOS-SPIES
Titre : Recursion theory week : Proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 Type de document : séminaire Auteurs : K. AMBOS-SPIES, Auteur ; G. H. MÜLLER, Auteur ; Gerald E. SACKS, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1990 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1432 Importance : VI-387 p. ISBN/ISSN/EAN : 978-3-540-52772-5 Langues : Anglais (eng) Catégories : 03DXX
03Exx
68QxxMots-clés : récursivité Note de contenu : références Recursion theory week : Proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 [séminaire] / K. AMBOS-SPIES, Auteur ; G. H. MÜLLER, Auteur ; Gerald E. SACKS, Auteur . - Springer-Verlag, 1990 . - VI-387 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1432) .
ISBN : 978-3-540-52772-5
Langues : Anglais (eng)
Catégories : 03DXX
03Exx
68QxxMots-clés : récursivité Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1003 LN 1432 Livre Recherche Salle Disponible Recursion theory week (1985) / H.-D. Ebbinghaus
Permalink