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 Siefkes, Dirk 2 résultats

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

Siefkes, Dirk

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

The monadic second order theory of all countable ordinals Büchi, J. Richard ; Siefkes, Dirk | Springer 1973

Monographie

Lecture notes in mathematics

Cote : M/A1(328)
ISBN/ISSN : 3-540-06345-5

ensemble ; logique ; logique algébrique ; modèle ; récurrence

... Lire [+]

Sélection

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

4

Gerer mes favoris

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

Büchi's monadic second order successor arithmetic Siefkes, Dirk ; Müller, Gert Heinz | Springer 1970

Monographie

Lecture notes in mathematics

Cote : M/A1(120)

arithmétique ; logique

... 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