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 03E30 18 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Six papers in logic Artemov, S. N. ; Bekenov, M. I. ; Korshunov, A. D. | American Mathematical Society 1987

Ouvrage

- 79 p.
Call n° : 00015488
arithmétique du premier ordre complexe # axiomes de la théorie des ensembles # logique générale # théorie des modèles

03Bxx ; 03Cxx ; 03E30 ; 03F30 ; 68Q25

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Axiomatic set-theory
impredicative theories of classes Chuaqui, Rolando Basim | North-Holland Publishing Co. 1981

Ouvrage

- 88 p.
Call n° : 00006839
logique mathématique et base # axiomatic de théorie des ensembles classique et de ses fragments

03E25 ; 03E30 ; 03Exx ; 04-02 ; 04A25

Location : Ouvrage RdC (CHUA)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

A formalization of set theory without variables Tarski, Alfred ; Givant, Steven | American Mathematical Society 1987

Ouvrage

- 318 p.
Call n° : 00012022
logique # logique mathématique # logique symbolique # théorie d'ensembles

03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Real analysis and probability Dudley, R. M. | Cambridge University Press ; Chapman & Hall 1989

Ouvrage

- 555 p.
Call n° : 00017154
analyse fonctionnelle # analyse réelle # convergence des lois # dualité d'espaces normés # ensemble analytique # ensemble convexe # espace métrique séparable # espérance conditionnelle # fonction de variables réelles # intégration # isomorphisme de Borel # martingale # mesure # mesure, topologie et différentiation # probabilité # processus stochastique # théorie des ensembles # théorie des probabilités # théorème central limite # topologie générale[-]
analyse fonctionnelle # analyse réelle # convergence des lois # dualité d'espaces normés # ensemble analytique # ensemble convexe # espace métrique séparable # espérance conditionnelle # fonction de variables réelles # intégration # isomorphisme de Borel # martingale # mesure # mesure, topologie et différentiation # probabilité # processus stochastique # théorie des ensembles # théorie des probabilités # théorème central limite # topologie ...[+]

03E30 ; 46-XX ; 52Axx ; 60F05 ; 60Gxx

Location : Disparu;Ouvrage RdC (DUDL)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Sets and classes :
on the work by Paul Bernays Muller, G. H. | North-Holland Publishing Co. 1976

Ouvrage

- 358 p.
Call n° : 00000219
Paul Bernays # bibliographie # biographie # ensemble et classe # fonction de choix d'ensemble ou classe # principe de réflexion et indescriptibilité # rôle des classes en théorie des ensembles # schéma d'infinité en théorie axiomatique des ensembles # système de théorie axiomatique des ensembles

01A70 ; 03E25 ; 03E30 ; 03Exx ; 04-XX

Location : Ouvrage RdC (Sets)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Discovering modern set theory. I :
the basics Just, Winfried ; Weese, Martin | American Mathematical Society 1996

Ouvrage

- 210 p.
Call n° : 00019214
axiomatique # axiome # fondement # théorie d'ensemble

03E05 ; 03E10 ; 03E25 ; 03E30 ; 04-01

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

The foundations of mathematics in the theory of sets Mayberry, J. P. | Cambridge University Press 2000

Ouvrage

- 424 p.
Call n° : 00023931
logique mathématique # fondement des mathématiques # théorie des ensembles # théorie classique # philosophie des mathématiques # épistémologie # ensemble ordonné # nombre naturel # théorie euclidienne des ensembles # théorie cantorienne des ensembles

03B30 ; 00A30 ; 03A05 ; 03E30 ; 03E70

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Logique mathématique. Tome 2 :
fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Cori, René ; Lascar, Daniel ; Krivine, J. L. | Dunod 2003

Ouvrage

- 374 p.
Call n° : 00025959
logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles

03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30

Location : Enseignement RdC (CORI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Axiomatic set theory Suppes, Patrick | D. Van Nostrand Co. Inc. 1967

Ouvrage

- 265 p.
Call n° : 00027269
théorie des ensembles # théorie axiomatique des ensembles

03-01 ; 03Exx ; 03E30

Location : Ouvrage RdC (SUPP)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

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

Ernst Zermelo : Collected Works, Volume I : Set Theory, Miscellanea Zermelo, Ernst ; Ebbinghaus, Heinz-Deiter ; Fraser, Craig G. ; Kanamori, Akihiro | Springer 2010

Ouvrage

- xxiv, 654 p.
Call n° : 00036123
oeuvres complètes # Ernst Zemelo # histoire des mathématiques # 20ème siècle # Landau # König # théorie des ensembles

01A70 ; 01A75 ; 03B60 ; 03E25 ; 03E30 ; 03E45 ; 03E55 ; 11A41 ; 91A05

Location : Oeuvres complètes RdC (ZERM)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None