A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Gerald E. SACKS |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Degrees of unsolvability / Gerald E. SACKS (1963)
Titre : Degrees of unsolvability Type de document : texte imprimé Auteurs : Gerald E. SACKS, Auteur Editeur : Princeton (N.J.) : Princeton University Press Année de publication : 1963 Collection : Annals of mathematics studies num. 55 Importance : IX-174 p. Langues : Anglais Catégories : 03-xx Mots-clés : logique degré d'insolvabilité Note de contenu : bibliogr. Degrees of unsolvability [texte imprimé] / Gerald E. SACKS, Auteur . - Princeton (N.J.) : Princeton University Press, 1963 . - IX-174 p.. - (Annals of mathematics studies; 55) .
Langues : Anglais
Catégories : 03-xx Mots-clés : logique degré d'insolvabilité Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 136 SAC/02/ST55 Livre Recherche Salle Disponible Logic and computer science / S. Homer (1990)
Titre : Logic and computer science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 Type de document : séminaire Auteurs : S. Homer, Auteur ; Anil NERODE, Auteur ; R. A. Platek, Auteur ; Gerald E. SACKS, Auteur ; P. ODIFREDDI, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1990 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1429 Importance : 162 p. ISBN/ISSN/EAN : 978-3-540-52734-3 Langues : Anglais Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Logic and computer science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 [séminaire] / S. Homer, Auteur ; Anil NERODE, Auteur ; R. A. Platek, Auteur ; Gerald E. SACKS, Auteur ; P. ODIFREDDI, Auteur . - Berlin : Springer-Verlag, 1990 . - 162 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1429) .
ISBN : 978-3-540-52734-3
Langues : Anglais
Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 995 LN 1429 Livre Recherche Salle Disponible Recursion theory week / K. AMBOS-SPIES (1990)
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 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 . - Berlin : Springer-Verlag, 1990 . - VI-387 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1432) .
ISBN : 978-3-540-52772-5
Langues : Anglais
Catégories : 03DXX
03Exx
68QxxMots-clés : récursivité Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1003 LN 1432 Livre Recherche Salle Disponible Recursion theory week / H.-D. Ebbinghaus (1985)
Titre : Recursion theory week : Proceedings of a conference held in Oberwolfach, West Germany April 15-21, 1984 Type de document : séminaire Auteurs : H.-D. Ebbinghaus, Auteur ; G. H. MÜLLER, Auteur ; Gerald E. SACKS, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1985 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1141 Importance : IX-418 p. ISBN/ISSN/EAN : 978-3-540-15673-4 Langues : Anglais Catégories : 03DXX
03ExxMots-clés : logique récursion Note de contenu : références Recursion theory week : Proceedings of a conference held in Oberwolfach, West Germany April 15-21, 1984 [séminaire] / H.-D. Ebbinghaus, Auteur ; G. H. MÜLLER, Auteur ; Gerald E. SACKS, Auteur . - Berlin : Springer-Verlag, 1985 . - IX-418 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1141) .
ISBN : 978-3-540-15673-4
Langues : Anglais
Catégories : 03DXX
03ExxMots-clés : logique récursion Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2995 LN 1141 Livre Recherche Salle Disponible Saturated model theory / Gerald E. SACKS (1972)
Titre : Saturated model theory Type de document : texte imprimé Auteurs : Gerald E. SACKS, Auteur Editeur : New york : W. A. Benjamin Année de publication : 1972 Collection : Mathematics lecture note series Importance : XII-333 p. ISBN/ISSN/EAN : 978-0-8053-8380-5 Langues : Anglais Mots-clés : modèle mathématique logique mathématique théorie des modèles saturés Note de contenu : index, références Saturated model theory [texte imprimé] / Gerald E. SACKS, Auteur . - New york : W. A. Benjamin, 1972 . - XII-333 p.. - (Mathematics lecture note series) .
ISBN : 978-0-8053-8380-5
Langues : Anglais
Mots-clés : modèle mathématique logique mathématique théorie des modèles saturés Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3582 SAC/02/4503 Livre Recherche Salle Disponible