A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03DXX
Affiner la recherche Interroger des sources externes
Cabal Seminar 77-79 (1981) / Alexander S. KECHRIS
Titre : Cabal Seminar 77-79 : Proceedings Caltech-UCLA logic seminar 1977-79 Type de document : séminaire Auteurs : Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; Yiannis N. MOSCHOVAKIS, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 839 Importance : 274 p. ISBN/ISSN/EAN : 978-3-540-10288-5 Langues : Anglais (eng) Catégories : 03DXX
03Exx
04-XXMots-clés : logique symbolique Note de contenu : références Cabal Seminar 77-79 : Proceedings Caltech-UCLA logic seminar 1977-79 [séminaire] / Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; Yiannis N. MOSCHOVAKIS, Auteur . - Springer-Verlag, 1981 . - 274 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 839) .
ISBN : 978-3-540-10288-5
Langues : Anglais (eng)
Catégories : 03DXX
03Exx
04-XXMots-clés : logique symbolique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5280 LN 839 Livre Recherche Salle Disponible Cabal Seminar 79-81 (1983) / Alexander S. KECHRIS
Titre : Cabal Seminar 79-81 : Proceedings, Caltech-UCLA Logic Seminar 1979-81 Type de document : séminaire Auteurs : Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; Yiannis N. MOSCHOVAKIS, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1983 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1019 Importance : 281 p. ISBN/ISSN/EAN : 978-3-540-12688-1 Langues : Anglais (eng) Catégories : 03DXX
03Exx
04-XXMots-clés : théorie de la récursivité théorie des ensembles Note de contenu : références Cabal Seminar 79-81 : Proceedings, Caltech-UCLA Logic Seminar 1979-81 [séminaire] / Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; Yiannis N. MOSCHOVAKIS, Auteur . - Springer-Verlag, 1983 . - 281 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1019) .
ISBN : 978-3-540-12688-1
Langues : Anglais (eng)
Catégories : 03DXX
03Exx
04-XXMots-clés : théorie de la récursivité théorie des ensembles Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5318 LN 1019 Livre Recherche Salle Disponible Cabal seminar 81-85 (1988) / Alexander S. KECHRIS
Titre : Cabal seminar 81-85 : Proceedings, Caltech-UCLA logic seminar 1981-85 Type de document : séminaire Auteurs : Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; J.R. Steel, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1988 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1333 Importance : 224 p. ISBN/ISSN/EAN : 978-3-540-50020-9 Langues : Anglais (eng) Catégories : 03DXX
03Exx
04-XXMots-clés : théorie des ensembles récursivité logique Note de contenu : références Cabal seminar 81-85 : Proceedings, Caltech-UCLA logic seminar 1981-85 [séminaire] / Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; J.R. Steel, Auteur . - Springer-Verlag, 1988 . - 224 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1333) .
ISBN : 978-3-540-50020-9
Langues : Anglais (eng)
Catégories : 03DXX
03Exx
04-XXMots-clés : théorie des ensembles récursivité logique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 552 LN 1333 Livre Recherche Salle Disponible Computation and proof theory (1984) / M.M. Richter
Titre : Computation and proof theory : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part II Type de document : séminaire Auteurs : M.M. Richter, Auteur ; E. Börger, Auteur ; W. Oberschelp, Auteur ; B. Schinzel, Auteur ; W. Thomas, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1984 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1104 Importance : VIII-475 p. ISBN/ISSN/EAN : 978-3-540-13901-0 Langues : Anglais (eng) Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Computation and proof theory : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part II [séminaire] / M.M. Richter, Auteur ; E. Börger, Auteur ; W. Oberschelp, Auteur ; B. Schinzel, Auteur ; W. Thomas, Auteur . - Springer-Verlag, 1984 . - VIII-475 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1104) .
ISBN : 978-3-540-13901-0
Langues : Anglais (eng)
Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2307 LN 1104 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 Mathematical logic and applications (1989) / J. Shinoda
PermalinkRecursion theory week (1990) / K. AMBOS-SPIES
PermalinkRecursion theory week (1985) / H.-D. Ebbinghaus
Permalink