En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Oberschelp, Walter 1 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r

Oberschelp, Walter

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

Computation and proof theory : Vol. 2 Richter, Michael M. ; Borger, Egon ; Oberschelp, Walter | Springer 1984

Congrès

Lecture notes in mathematics

Cote : M/A1(1104)
ISBN/ISSN : 3-540-13901-X

ensemble ; logique algébrique ; modèle ; modèle non standard

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun