m

F Nous contacter

0

Documents  03-02 | enregistrements trouvés : 120

O

-A +A

P Q

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.

- 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.


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.

- 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.


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.

- 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.

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.

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.


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.


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.

- 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.


ISBN 978-0-8218-4586-8

Translations of mathematical monographs , 0117

Localisation : Collection 1er étage

catégorie # structure catégorique # structure globale # théorie des modèles # théorème de complétude

03-02 ; 03C35 ; 03C60 ; 05B25

... Lire [+]

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

- xi; 212 p.
ISBN 978-0-521-73560-5

London mathematical society lecture note series , 0360

Localisation : Collection 1er étage

géométrie de Zariski # algèbre quantique # théorie des modèles # géométrie algébrique # principe de trichotomie

03C60 ; 03-02 ; 03C65 ; 03C98 ; 14A99

... Lire [+]

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

- xiv; 281 p.
ISBN 978-0-19-954149-2

Localisation : Ouvrage RdC (WEIR)

philosophie des mathématiques # logique mathématique # formalisme # fondement des mathématiques # néo-formalisme # naturalisme dans les mathématiques # vérité mathématique

03-02 ; 03A05 ; 00A30

... Lire [+]

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

- xi; 260 p.
ISBN 978-0-7923-6221-0

Mathematics and its applications , 0503

Localisation : Ouvrage RdC (WAGN)

théorie de la classification # théorie de la stabilité # hyper-martingale # théorie simple # groupe simple # rang de Lascar # rang de Shelah # conditions de chaînes

03C45 ; 03-02 ; 03C60 ; 20A15

... Lire [+]

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

- 166 p.
ISBN 978-88-7088-122-6

Localisation : Oeuvres complètes RdC (HEI)

histoire de la logique # Hei Jenoort # oeuvres complètes

01A75 ; 03-02 ; 03-03

... Lire [+]

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

- 180 p.
ISBN 978-0-521-59838-5

London mathematical society lecture note series , 0248

Localisation : Collection 1er étage

algèbre en théorie des modèles # complexe cellulaire # ensemble semi-algébrique # géométrie algébrique analytique # géométrie algébrique réelle # géométrie discrète et convexe # logique mathématique # propriété spéciale # théorie des modèles # topologie algébrique # topologie générale # variété

03-02 ; 03C50 ; 03C60 ; 14P10 ; 52-02 ; 54-02 ; 55-02 ; 57-02

... Lire [+]

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

- x; 263 p.
ISBN 978-1-4471-4557-8

Universitext

Localisation : Ouvrage RdC (VAND)

logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

... Lire [+]

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

- 225 p.
ISBN 978-0-521-70015-3

London mathematical society student texts , 0070

Localisation : Collection 1er étage

logique mathématique # dépendance logique # équivalence logique # dualité

03-02 ; 03B60

... Lire [+]

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


ISBN 978-3-540-06491-6

Lecture notes in mathematics , 0344

Localisation : Collection 1er étage

application de modèle de Kripke # arbre et ordinal # définition inductive itérée # fonctionnelle majorable héréditairement de type défini # fonctionnelle récursive primitive # investigation métamathématique d'arithmétique ou analyse int # modèle et calculabilité # réalisabilité et interprétation fonctionnelle # système formel intuitioniste # théorème de normalisation pour système de déduction naturell

03F99 ; 03B55 ; 03F55 ; 03-02

... Lire [+]

Z