IRMA - Documents

MathCongrès

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

récursion

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique ; théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

récursion

... Lire [+]

MathOuvrage

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

récursivité ; hyperarithmétique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Sacks, Gerald E. | enregistrements trouvés : 6

Sacks, Gerald E.

Recursion theory week Ed. Ambos-Spies, K. ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1990 . - vi, 393
https://doi.org/10.1007/BFb0086109
Nouveau

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162
https://doi.org/10.1007/BFb0093921
Nouveau

Recursion theory week Ed. Ebbinghaus, Heinz-Dieter ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1985 . - ix, 418
https://doi.org/10.1007/BFb0076211
Nouveau

Higher recursion theory Sacks, Gerald E.. -Berlin, Heidelberg, New York NY : Springer , 1990 . - xv, 344 p. ; 24 cm
https://projecteuclid.org/ebooks/perspectives-in-logic/volumes
Nouveau

Saturated model theory Sacks, Gerald E.. -Reading : Benjamin , 1972 . - xii, 335
Nouveau

Degrees of unsolvability Sacks, Gerald E.. -Princeton : Princeton university Press , 1963 . - 174
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents Sacks, Gerald E. | enregistrements trouvés : 6

Sacks, Gerald E.

Recursion theory week Ed. Ambos-Spies, K. ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1990 . - vi, 393 https://doi.org/10.1007/BFb0086109 Nouveau

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162 https://doi.org/10.1007/BFb0093921 Nouveau

Recursion theory week Ed. Ebbinghaus, Heinz-Dieter ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1985 . - ix, 418 https://doi.org/10.1007/BFb0076211 Nouveau

Higher recursion theory Sacks, Gerald E.. -Berlin, Heidelberg, New York NY : Springer , 1990 . - xv, 344 p. ; 24 cm https://projecteuclid.org/ebooks/perspectives-in-logic/volumes Nouveau

Saturated model theory Sacks, Gerald E.. -Reading : Benjamin , 1972 . - xii, 335 Nouveau

Degrees of unsolvability Sacks, Gerald E.. -Princeton : Princeton university Press , 1963 . - 174 Nouveau

Recursion theory week Ed. Ambos-Spies, K. ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1990 . - vi, 393
https://doi.org/10.1007/BFb0086109
Nouveau

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162
https://doi.org/10.1007/BFb0093921
Nouveau

Recursion theory week Ed. Ebbinghaus, Heinz-Dieter ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer , 1985 . - ix, 418
https://doi.org/10.1007/BFb0076211
Nouveau

Higher recursion theory Sacks, Gerald E.. -Berlin, Heidelberg, New York NY : Springer , 1990 . - xv, 344 p. ; 24 cm
https://projecteuclid.org/ebooks/perspectives-in-logic/volumes
Nouveau

Saturated model theory Sacks, Gerald E.. -Reading : Benjamin , 1972 . - xii, 335
Nouveau

Degrees of unsolvability Sacks, Gerald E.. -Princeton : Princeton university Press , 1963 . - 174
Nouveau