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.

logique mathématique ; logique symbolique

... Lire [+]

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

Zermelo ; biographie

... Lire [+]

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

théorie des modèles ; base de données

... Lire [+]

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

théorie des nombres

... Lire [+]

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

logique mathématique ; logique symbolique

... Lire [+]

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

théorie des nombres

... Lire [+]

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

théorie des nombres

... 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 Ebbinghaus, Heinz-Dieter | enregistrements trouvés : 8

Ebbinghaus, Heinz-Dieter

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

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -Cham : Springer , 2021 . - ix, 304 p. ; 24 cm
ISBN 9783030738389
Nouveau

Ernst Zermelo : an approach to his life and work Ebbinghaus, Heinz-Dieter ; Collab. Peckhaus, Volker. -Berlin : Springer , 2007 . - xiv, 356 p. ; 42 ill. ; 24 cm
ISBN 9783540495512
https://link.springer.com/book/10.1007/978-3-540-49553-6
Nouveau

Finite model theory Ebbinghaus, Heinz-Dieter ; Flum, Jörg. -Berlin : Springer , 2006 . - xi, 360 p. ; 24 cm
ISBN 9783540287872
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1439-7382
Nouveau

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -New York NY : Springer , 1994 . - x, 289 p. ; 24 cm
https://link.springer.com/bookseries/666
Nouveau

Zahlen Ebbinghaus, Heinz-Dieter ; Hermes, H. ; Hirzebruch, Friedrich ; Koecher, M. ; Mainzer, K. ; Prestel, Alexander ; Remmert, Reinhold. -Berlin : Springer , 1983 . - xii, 288
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 Ebbinghaus, Heinz-Dieter | enregistrements trouvés : 8

Ebbinghaus, Heinz-Dieter

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

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -Cham : Springer , 2021 . - ix, 304 p. ; 24 cm ISBN 9783030738389 Nouveau

Ernst Zermelo : an approach to his life and work Ebbinghaus, Heinz-Dieter ; Collab. Peckhaus, Volker. -Berlin : Springer , 2007 . - xiv, 356 p. ; 42 ill. ; 24 cm ISBN 9783540495512 https://link.springer.com/book/10.1007/978-3-540-49553-6 Nouveau

Finite model theory Ebbinghaus, Heinz-Dieter ; Flum, Jörg. -Berlin : Springer , 2006 . - xi, 360 p. ; 24 cm ISBN 9783540287872 https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1439-7382 Nouveau

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -New York NY : Springer , 1994 . - x, 289 p. ; 24 cm https://link.springer.com/bookseries/666 Nouveau

Zahlen Ebbinghaus, Heinz-Dieter ; Hermes, H. ; Hirzebruch, Friedrich ; Koecher, M. ; Mainzer, K. ; Prestel, Alexander ; Remmert, Reinhold. -Berlin : Springer , 1983 . - xii, 288 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

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -Cham : Springer , 2021 . - ix, 304 p. ; 24 cm
ISBN 9783030738389
Nouveau

Ernst Zermelo : an approach to his life and work Ebbinghaus, Heinz-Dieter ; Collab. Peckhaus, Volker. -Berlin : Springer , 2007 . - xiv, 356 p. ; 42 ill. ; 24 cm
ISBN 9783540495512
https://link.springer.com/book/10.1007/978-3-540-49553-6
Nouveau

Finite model theory Ebbinghaus, Heinz-Dieter ; Flum, Jörg. -Berlin : Springer , 2006 . - xi, 360 p. ; 24 cm
ISBN 9783540287872
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1439-7382
Nouveau

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -New York NY : Springer , 1994 . - x, 289 p. ; 24 cm
https://link.springer.com/bookseries/666
Nouveau

Zahlen Ebbinghaus, Heinz-Dieter ; Hermes, H. ; Hirzebruch, Friedrich ; Koecher, M. ; Mainzer, K. ; Prestel, Alexander ; Remmert, Reinhold. -Berlin : Springer , 1983 . - xii, 288
Nouveau