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
Affiner la recherche Interroger des sources externesDegrees of unsolvability (1963) / Gerald E. SACKS
Titre : Degrees of unsolvability Type de document : texte imprimé Auteurs : Gerald E. SACKS, Auteur Editeur : Princeton : Princeton University Press Année de publication : 1963 Collection : Annals of mathematics studies num. 55 Importance : IX-174 p. Langues : Anglais (eng) 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 University Press, 1963 . - IX-174 p.. - (Annals of mathematics studies; 55) .
Langues : Anglais (eng)
Catégories : 03-xx Mots-clés : logique degré d'insolvabilité Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 136 SAC/02/ST55 Livre Recherche Salle Disponible Logic and computer science (1990) / S. Homer
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 (eng) 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 . - Springer-Verlag, 1990 . - 162 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1429) .
ISBN : 978-3-540-52734-3
Langues : Anglais (eng)
Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 995 LN 1429 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
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 (eng) 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 . - Springer-Verlag, 1985 . - IX-418 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1141) .
ISBN : 978-3-540-15673-4
Langues : Anglais (eng)
Catégories : 03DXX
03ExxMots-clés : logique récursion Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2995 LN 1141 Livre Recherche Salle Disponible Saturated model theory (1972) / Gerald E. SACKS
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 (eng) 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 . - W. A. Benjamin, 1972 . - XII-333 p.. - (Mathematics lecture note series) .
ISBN : 978-0-8053-8380-5
Langues : Anglais (eng)
Mots-clés : modèle mathématique logique mathématique théorie des modèles saturés Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3582 SAC/02/4503 Livre Recherche Salle Disponible