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 03C30 4 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

Five papers on logic and foundations Ceitin, G. S. ; Idel'son, A. V. ; Sanin, N. A. ; Vorob'ev, N. N. ; Zaslavskii, I. D. | American Mathematical Society 1972

Ouvrage

- 275 p.
Cote : 00016210
calcul constructif # construction # ensemble de dénombrable # logique constructive # théorie des algorithmes

03C15 ; 03C30 ; 68Qxx ; 68Rxx

Localisation : Collection 1er étage

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

Categoricity Baldwin, John T. | American Mathematical Society 2009

Ouvrage

- xi; 235 p.
Cote : 00035621
théorème de complétude # théorie des modèles

03C30 ; 03C45 ; 03C52 ; 03C60 ; 03C75 ; 03C95 ; 03C98 ; 03-02 ; 03C35

Localisation : Collection 1er étage

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

Infinitary logic
in memoriam Carol Karp
a collection of papers by various authors Kueker, D. W. | Springer-Verlag 1975

Ouvrage


Cote : 00020539
Carol Karp # argument arrière et avant # condition de finitude pour langages infinitaires # logique infinitaire # modèle de chaîne # propriété de consistance pour langages de quantificateurs fi # technique arrière et avant dans les langages à quantificateu

03C75 ; 03C99 ; 03C30 ; 00Bxx ; 03-06 ; 03-02 ; 01A70

Localisation : Collection 1er étage

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

Séminaire Bourbaki. Vol. 1983/84 :
exposés 615-632 | Société Mathématique de France 1985

Congrès

- 368 p.
Cote : 00028034

14H10 ; 14K15 ; 58C40 ; 58A10 ; 53C20 ; 14H25 ; 20D08 ; 18G ; 34C28 ; 46B20 ; 46E15 ; 49F10 ; 14H99 ; 14K05 ; 05A15 ; 57R45 ; 62P99 ; 57R52 ; 12A25 ; 12A50 ; 28A05 ; 03C30 ; 03-00

Localisation : Périodique 1er étage

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

Type

Auteurs

Langue