m

F Nous contacter

0

Documents  03-02 | enregistrements trouvés : 119

O

-A +A

P Q

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

- viii; 519 p.
ISBN 978-0-8218-4943-9

Contemporary mathematics , 0558

Localisation : Collection 1er étage

théorie des modèles finis # probabilités combinatoires

03-02 ; 03-06 ; 05-02 ; 05-06 ; 68-02 ; 68-06 ; 03C65 ; 05Axx ; 05Cxx ; 68Q19 ; 00B25

... Lire [+]

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


ISBN 978-3-540-05569-3

Lecture notes in mathematics , 0337

Localisation : Collection 1er étage

arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de priorité pour construction d'ensemble dénombrable # nombre chromatique de graphe et système d'ensemble # ordinal admissible et argument de priorité # relation régulière de Lindström # réalisabilité de combinateur d'analyse du type fini construc # sentence de Vaught # somme maximum d'une famille d'ordinal # théorie arithmétique de construction # théorie des ensembles ZF intuintioniste # théorie des ensembles descriptive # théorie des modèles modale # théorème de préservation pouro interprétation # ultrafiltre complet en descendant arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de ...

03-02 ; 02C15 ; 03B40 ; 03F55 ; 03Dxx

... Lire [+]

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

- 329 p.

Proceedings of the Steklov institute of mathematics , 0093

Localisation : Collection 1er étage

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

... Lire [+]

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

- 287 p.
ISBN 978-0-8218-3013-0

Proceedings of the Steklov institute of mathematics , 0113

Localisation : Collection 1er étage

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

... Lire [+]

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


ISBN 978-3-540-09086-1

Lecture notes in mathematics , 0689

Localisation : Collection 1er étage

conjecture # logique mathematique # theorie des ensembles

03-02 ; 02FXX ; 02HXX ; 02KXX

... Lire [+]

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

Publications mathematiques de l'universite paris vii , 0027

Localisation : Publication 1er étage

logique

03-02 ; 03-06

... Lire [+]

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

- 383 p.
ISBN 978-0-8247-7746-3

Lecture notes in pure and applied mathematics , 0106

Localisation : Colloque 1er étage (COLL)

algèbre de l'informatique # logique mathématiques # logique symbolique

03-02 ; 68Pxx ; 68Q40

... Lire [+]

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

- 266 p.
ISBN 978-0-8218-3096-3

Proceedings of the Steklov institute of mathematics , 0168

Localisation : Collection 1er étage

algebre # logique # logique mathematiques # logique symbolique # t opologie # theorie des nombres

01-02 ; 01A72 ; 01A74 ; 03-02 ; 03Dxx

... Lire [+]

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

Publications mathématiques de l'université Paris VII , 0019

Localisation : Publication 1er étage

codage des ordres dénombrables # complexité algorithmique # corps # espace polonais # géométrie des espaces de Banach # logique du premier ordre # logique stationnaire # méthode de priorité # théorie de la classification # théorie des modules # échelle des grands cardinaux

03-02 ; 03-06 ; 03Cxx ; 03D15 ; 68Q25

... Lire [+]

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


ISBN 978-0-8218-1425-3

Proceedings of symposia in pure mathematics , 0025

Localisation : Collection 1er étage

03-02 ; 03-06 ; 03Exx

... Lire [+]

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


ISBN 978-0-444-85423-0

Studies in logic and the foundations of mathematics , 0104

Localisation : Colloque 1er étage (HANN)

biologie # fondement # histoire # linguistique # logique # mathématique # méthodologie # philosophie de la science # probabilité et induction # psychologie # récursion et informatique # science physique # science sociale # théorie axiomatique des ensembles # théorie de la preuve # théorie des modèles # éthique de la science

00A30 ; 03-02 ; 03-06 ; 03A05 ; 03Dxx

... Lire [+]

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

- ix; 543 p.
ISBN 978-1-107-04152-7

Lecture notes in logic , 0047

Localisation : Ouvrage RdC (GROH)

théorie des graphes # logique # calcul complexe # décomposition d'arbres # graphe intégrable

03-02 ; 03D15 ; 03C65 ; 05C99

... Lire [+]

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

- xxi; 849 p.
ISBN 978-0-691-17543-0

Annals of mathematics studies

Localisation : Ouvrage RdC (ASCH)

série arithmétique # série divergente # expansion asymptotique # algèbre différentielle

12-02 ; 03-02 ; 12L12 ; 12H05 ; 03C64

... Lire [+]

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

- xii; 368 p.
ISBN 978-0-19-875891-4

Localisation : Ouvrage RdC (CARA)

topos de Grothendieck # topos classifiant # invariant des topos-théoriques # pont

03-02 ; 03G30 ; 18B25 ; 18C10

... Lire [+]

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

- xviii; 511 p.
ISBN 978-1-4704-3182-2

Mathematical surveys and monographs , 0220

Localisation : Collection 1er étage

théorie de l'information # complexité de Kolmogorov # complexité de calcul # calcul algorithmique

68Q30 ; 03D32 ; 60A99 ; 03-02 ; 03D15

... Lire [+]

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

- xii; 183 p.
ISBN 978-1-107-11346-6

Cambridge philosophy classics

Localisation : Ouvrage RdC (LAKA)

théorie de la démonstration # philosophie # logique mathématique

03-02 ; 03A05 ; 00A35

... Lire [+]

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

- vii; 156 p.
ISBN 978-1-107-05775-3

Lecture notes in logic

Localisation : Ouvrage RdC (SIMO)

théorie des modèles # logique # indépendance

03-02 ; 03C45 ; 03C68

... Lire [+]

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

- xii; 417 p.
ISBN 978-0-521-77911-1

Cambridge tracts in theoretical computer science , 0043

Localisation : Ouvrage RdC (TROE)

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

... Lire [+]

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

- x; 342 p.
ISBN 978-1-107-04230-8

Perspectives in logic

Localisation : Ouvrage RdC (PARI)

logique # philosophie # rationalité # langage polyadique # conformité # interchangeabilité du spectre # invariance de langage

03-02 ; 03A05 ; 03B48

... Lire [+]

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

- xv; 214 p.
ISBN 978-981-4612-61-6

Lecture notes series , 0028

Localisation : Ouvrage RdC (HIRS)

ensemble récursif # mathématiques inversées # théorème de Ramsey # ensemble stable # ensemble cohérent # WKL # lemme de König # arbre # ordre # chaîne # ensemble libre # ensemble maigre # ensemble générique # RCA

03-02 ; 03B30 ; 03F35 ; 03D30 ; 03D80 ; 03E05 ; 05D10

... Lire [+]

Z