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 Baudisch, A. 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Decidability and generalized quantifiers Baudisch, A. ; Seese, D. ; Tuschik, H. P. ; Weese, W. | Akademie Verlag 1980

Ouvrage

- 235 p.
Cote : 00005708

03B30

Localisation : Ouvrage RdC (Deci)

Sélection

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

4

gerer mes paniers

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

Model-theoretic logics Baldwin, John T. ; Barwise, Jon ; Baudisch, A. ; Feferman, S. | Springer-Verlag 1985

Ouvrage

- 189 p.
Cote : 00009282

03-06 ; 03Cxx

Localisation : Ouvrage RdC (Mode)

Sélection

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

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Référence

Codes MSC

Date de parution