CIRM - Videos & books Library

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

V

Cote : 00007469

03-02 ; 03-06 ; 03Exx

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

y

- 494 p.
Cote : 00004206

algèbre cylindrique # algèbre de Boole # catégorie algébrique # foncteur algbrique # forcing # géométrie elliptique # insolvabilité # mathématique non-archimédienne # mesure de Haar # système de Lewis # théorie algébrique # théorie de la définition # théorie des ensembles de Godel-Bernays # théorie des modèles # théorie quantique

03-06 ; 03Cxx

Localisation : Colloque 1er étage (BERK)

Sélection Signaler une erreur

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

V

- 323 p.
Cote : 00014010

algèbre de cylindre # algèbre de relation # algèbre p-adique # ensemble # fondement de la logique mathématique # logique algébrique # logique mathématique # modèle # théorie de modèle

03C55 ; 03G15

Localisation : Collection 1er étage

Sélection Signaler une erreur

Destination de la recherche

Raccourcis

Informations Pratiques

Plan de la Bibliothèque

Histoire

Règlement Intérieur

Ludothèque

Recherche avancée

Livres électroniques

Fonds

Autres catalogues

Revue papier

Revue électronique

Autres catalogues

Revues électroniques

Bases de données

Documents Henkin, L. 3 résultats

Proceedings of the tarski symposium
an international symposium held to honor alfred tarski on the occasionof his seventieth birthday held at the university of california,berkeley,june 23-30,1971 Addison, J. ; Chang, C. C. ; Henkin, L. | American Mathematical Society 1979 Nouveau

The theory of models :
proceedings of the 1963 international symposium held at University of California#June 25 - July 11 Addison, J. W. ; Henkin, L. ; Tarski, A. | North-Holland Publishing Co. 1972 Nouveau

Cylindric set algebras
cylindric set algebras and related structures,on cylindric-relativized set algebras Andréka, Hajnal ; Henkin, L. ; Monk, J. D. ; Nemeti, I. ; Tarski, A. | Springer-Verlag 1981 Nouveau

Filtrer

Type

Auteurs

Langue

Documents

Références

Auteurs

Thesaurus

Destination de la recherche

Raccourcis

Fonds

Autres catalogues

Autres catalogues

Bases de données

Documents Henkin, L. 3 résultats

Proceedings of the tarski symposiuman international symposium held to honor alfred tarski on the occasionof his seventieth birthday held at the university of california,berkeley,june 23-30,1971 Addison, J. ; Chang, C. C. ; Henkin, L. | American Mathematical Society 1979 Nouveau

The theory of models :proceedings of the 1963 international symposium held at University of California#June 25 - July 11 Addison, J. W. ; Henkin, L. ; Tarski, A. | North-Holland Publishing Co. 1972 Nouveau

Cylindric set algebrascylindric set algebras and related structures,on cylindric-relativized set algebras Andréka, Hajnal ; Henkin, L. ; Monk, J. D. ; Nemeti, I. ; Tarski, A. | Springer-Verlag 1981 Nouveau

Filtrer

Type

Auteurs

Langue

Proceedings of the tarski symposium
an international symposium held to honor alfred tarski on the occasionof his seventieth birthday held at the university of california,berkeley,june 23-30,1971 Addison, J. ; Chang, C. C. ; Henkin, L. | American Mathematical Society 1979 Nouveau

The theory of models :
proceedings of the 1963 international symposium held at University of California#June 25 - July 11 Addison, J. W. ; Henkin, L. ; Tarski, A. | North-Holland Publishing Co. 1972 Nouveau

Cylindric set algebras
cylindric set algebras and related structures,on cylindric-relativized set algebras Andréka, Hajnal ; Henkin, L. ; Monk, J. D. ; Nemeti, I. ; Tarski, A. | Springer-Verlag 1981 Nouveau