m

Documents  03Exx | enregistrements trouvés : 156

O

-A +A

P Q

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

- 160 p.
ISBN 978-0-8218-2786-4

DIMACS series in discrete mathematics and theorerical computer science , 0058

Localisation : Collection 1er étage

théorie des nombres # relation de partition # théorie descriptive des ensembles # grand cardinal # convergence des resultats # indépendance des résultats

03-06 ; 03Exx ; 03E02 ; 03E15 ; 03E35 ; 03E55

... Lire [+]

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


ISBN 978-0-306-42599-8

Localisation : Colloque 1er étage (DRUZ)

biographie # calcul lambda # logique # logique classique # logique de programmation # logique symbolique # progammation # programmation logique

03B40 ; 03B70 ; 03Exx ; 60Q40

... Lire [+]

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


ISBN 978-3-540-51527-2

Lecture notes in mathematics , 1388

Localisation : Collection 1er étage

logique mathematique

03Bxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

... Lire [+]

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


ISBN 978-0-8218-0245-8

Proceedings of symposia in pure mathematics

Localisation : Collection 1er étage

axiomatique # theorie des sembles

02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25

... Lire [+]

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


ISBN 978-0-8218-1447-5

Proceedings of symposia in pure mathematics , 0042

Localisation : Collection 1er étage

03Dxx ; 03Exx ; 03F30 ; 14M05 ; 28A12

... Lire [+]

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

- 431 p.
ISBN 978-3-540-11161-0

Lecture notes in mathematics , 0891

Localisation : Collection 1er étage

logique

03Cxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

... Lire [+]

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

- 396 p.
ISBN 978-0-387-13900-5

Lecture notes in mathematics , 1103

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

... Lire [+]

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


ISBN 978-0-8405-0083-0

SMS , 0025

Localisation : Salle de manutention

axiome du choix # ensemble constructible # ensemble générique de Cohen # hypothèse du continu # modèle transitif # réduction d'un modèle à un autre # théorie des ensembles de Zermelo-Fraenkel

03E45 ; 03Exx ; 04-XX ; 04A25 ; 04A30

... Lire [+]

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

- 280 p.
ISBN

Proceedings of the Steklov institute of mathematics , 0247

Localisation : Collection 1er étage

topologie géométrique # théorie des ensembles # Keldysh # application continue

03-06 ; 03Exx ; 54-06 ; 54C05

... Lire [+]

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

- 245 p.
ISBN 978-0-521-27733-4

London mathematical society lecture note series , 0087

Localisation : Collection 1er étage

arbre # cardinal singulier # forcing itéré # forcing propre # indépendance # marécage # norme # régularité d'ultrafiltre # structure fine de L # théorie des ensembles combinatoires # échelle

03Exx

... Lire [+]

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

- xv; 300 p.
ISBN 978-1-107-18299-8

Lecture notes in logic , 0049

Localisation : Colloque 1er étage (LOSA)

théorie des jeux # théorie des ensembles # théorie de la mesure # séminaire de la Cabale

03-06 ; 03Exx ; 00B25

... Lire [+]

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


ISBN 978-3-540-50020-9

Lecture notes in mathematics , 1333

Localisation : Collection 1er étage

logique # theorie de la recursion # theorie des ensembles

03Dxx ; 03Exx ; 04-XX

... Lire [+]

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


ISBN 978-3-540-50020-9

Lecture notes in mathematics , 1333

Localisation : Collection 1er étage

logique

03Dxx ; 03Exx ; 04-XX

... Lire [+]

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

- 284 p.
ISBN 978-0-387-12688-3

Lecture notes in mathematics , 1019

Localisation : Collection 1er étage

03Dxx ; 03Exx ; 04-XX

... Lire [+]

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

- 1174 p.
ISBN 978-3-540-10849-8

Lecture notes in mathematics , 0872

Localisation : Collection 1er étage

algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles

03-06 ; 03-XX ; 03Cxx ; 03Exx

... Lire [+]

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


ISBN 978-0-8218-0246-5

Proceedings of symposia in pure mathematics

Localisation : Collection 1er étage

axiomatique # theorie des sembles

02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25

... Lire [+]

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


ISBN 978-3-540-61434-0

Lecture notes in logic , 0006

Localisation : Colloque 1er étage (BRUN)

Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie

03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx

... Lire [+]

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

- 771 p.
ISBN 978-0-387-12335-6

Lecture notes in mathematics , 1006

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 13-06 ; 16A46 ; 20-04

... Lire [+]

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

- 514 p.
ISBN 978-963-8022-81-3

Bolyai society mathematical studies , 0003

Localisation : Colloque 1er étage (VISE)

classe close de fonctions booléennes # ensemble de mots # famille de Sperner # invariant algébrique pour code et plan # méthode probabiliste en théorie des ensembles finis extrémal # petite île # problème de type Ramsey de Shelah # problème extrémal en géométrie finie # problème extrémal sur graphe ou hypergraphe # problème isopérimétrique en espace discret # système d'ensembles et hypergraphe # théorie de la dimension pour ensembles partiellement ordonné # théorème de Kruskal-Katona # évolution de fonctions booléennes aléatoires classe close de fonctions booléennes # ensemble de mots # famille de Sperner # invariant algébrique pour code et plan # méthode probabiliste en théorie des ensembles finis extrémal # petite île # problème de type Ramsey de Shelah # problème extrémal en géométrie finie # problème extrémal sur graphe ou hypergraphe # problème isopérimétrique en espace discret # système d'ensembles et hypergraphe # théorie de la dimension pour ensembles pa...

03Exx ; 04-XX ; 05-06 ; 05D05

... Lire [+]

Z