IRMA - Documents

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.

récursion

... Lire [+]

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

théorie des modèles ; théorie des ensembles ; logique algébrique ; logique

... 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 [+]

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 Mueller, Gert H. | enregistrements trouvés : 6

Mueller, Gert H.

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

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

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484
https://doi.org/10.1007/BFb0099377
Nouveau

Higher set theory Ed. Mueller, Gert H. ; Ed. Scott, D. S.. -Berlin : Springer , 1978 . - 476
https://doi.org/10.1007/BFb0103096
Nouveau

Isilc proof theory symposion Ed. Diller, J. ; Ed. Mueller, Gert H.. -Berlin : Springer , 1975 . - 383
https://doi.org/10.1007/BFb0079542
Nouveau

Isilc logic conference Ed. Mueller, Gert H. ; Ed. Oberschelp, A. ; Ed. Potthoff, K.. -Berlin : Springer , 1975 . - 651
https://doi.org/10.1007/BFb0079414
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 Mueller, Gert H. | enregistrements trouvés : 6

Mueller, Gert H.

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

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

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484 https://doi.org/10.1007/BFb0099377 Nouveau

Higher set theory Ed. Mueller, Gert H. ; Ed. Scott, D. S.. -Berlin : Springer , 1978 . - 476 https://doi.org/10.1007/BFb0103096 Nouveau

Isilc proof theory symposion Ed. Diller, J. ; Ed. Mueller, Gert H.. -Berlin : Springer , 1975 . - 383 https://doi.org/10.1007/BFb0079542 Nouveau

Isilc logic conference Ed. Mueller, Gert H. ; Ed. Oberschelp, A. ; Ed. Potthoff, K.. -Berlin : Springer , 1975 . - 651 https://doi.org/10.1007/BFb0079414 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

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

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484
https://doi.org/10.1007/BFb0099377
Nouveau

Higher set theory Ed. Mueller, Gert H. ; Ed. Scott, D. S.. -Berlin : Springer , 1978 . - 476
https://doi.org/10.1007/BFb0103096
Nouveau

Isilc proof theory symposion Ed. Diller, J. ; Ed. Mueller, Gert H.. -Berlin : Springer , 1975 . - 383
https://doi.org/10.1007/BFb0079542
Nouveau

Isilc logic conference Ed. Mueller, Gert H. ; Ed. Oberschelp, A. ; Ed. Potthoff, K.. -Berlin : Springer , 1975 . - 651
https://doi.org/10.1007/BFb0079414
Nouveau