A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Cabal Seminar 77-79 / Alexander S. KECHRIS (1981)
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 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 . - Berlin : Springer-Verlag, 1981 . - 274 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 839) .
ISBN : 978-3-540-10288-5
Langues : Anglais
Catégories : 03DXX
03Exx
04-XXMots-clés : logique symbolique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5280 LN 839 Livre Recherche Salle Disponible Cabal Seminar 79-81 / Alexander S. KECHRIS (1983)
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 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 . - Berlin : Springer-Verlag, 1983 . - 281 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1019) .
ISBN : 978-3-540-12688-1
Langues : Anglais
Catégories : 03DXX
03Exx
04-XXMots-clés : théorie de la récursivité théorie des ensembles Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5318 LN 1019 Livre Recherche Salle Disponible Cabal seminar 81-85 / Alexander S. KECHRIS (1988)
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 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 . - Berlin : Springer-Verlag, 1988 . - 224 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1333) .
ISBN : 978-3-540-50020-9
Langues : Anglais
Catégories : 03DXX
03Exx
04-XXMots-clés : théorie des ensembles récursivité logique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 552 LN 1333 Livre Recherche Salle Disponible Computation and proof theory / M.M. Richter (1984)
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 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 . - Berlin : Springer-Verlag, 1984 . - VIII-475 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1104) .
ISBN : 978-3-540-13901-0
Langues : Anglais
Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2307 LN 1104 Livre Recherche Salle Disponible Logic symposia Hakone 1979, 1980 / G. H. MÜLLER (1981)
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
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 . - 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
03HxxMots-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 Mathematical logic and applications / J. Shinoda (1989)
PermalinkRecursion theory week / K. AMBOS-SPIES (1990)
PermalinkRecursion theory week / H.-D. Ebbinghaus (1985)
Permalink