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.

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.

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.

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

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

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


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.

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

- 477 p.

Biblioteka matematyczna , 0020

Localisation : Ouvrage RdC (GRZE)

complétion # constructivité # fonction récursive # groupe abélien # logique mathématique # métamathématique # nombre ordinal # quantificateur # quantificateur de fonction # système déductif # sémantique # théorie des treillis # théorie indécidable # théorème de Herbrand-Gentzen # théorème de Skolem-Löwenheim généralisé # vérité

03-02 ; 03-03 ; 03B25 ; 03D20 ; 03E10

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

- xi; 98 p.
ISBN 978-0-7204-2246-7

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (TARS)

indécidabilité

03-02 ; 03D35

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

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

- xxiii; 304 p.
ISBN 978-3-0348-0608-4

Studies in universal logic

Localisation : Ouvrage RdC (PARR)

classification # logique mathématique # système d'information # épistémologie # philosophie de la science # théorie des ensembles # structure ordonnée # analyse de grappes

03-02 ; 03A05 ; 06-02 ; 08-02 ; 68T30

... Lire [+]

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

- 149 p.
ISBN 978-3-540-09732-7

Lecture notes in mathematics , 0769

Localisation : Collection 1er étage

modèle # topologie # logique # omission de type # corps topologique # espace vectoriel topologique # groupe topologique # axiome de séparation

03C99 ; 03-02 ; 54-02 ; 22A99 ; 13J99 ; 22-02 ; 54A05 ; 54D10 ; 12J99 ; 46A16

... Lire [+]

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

- 451 p.
ISBN 978-0-444-50542-2

Studies in logic and the foundations of mathematics , 0145

Localisation : Ouvrage RdC (FRAI)

logique # combinatoire # théorie des relations # arbre # cofinalité # théorie axiomatique des ensembles # structure ordonnée # idéal # théorie de Ramsey # partition # chaîne # relation ordonnée # relation homogène # relation saturée # opérateur libre # système relationel # âge # orbite

03E20 ; 03-02 ; 03C15 ; 03E05 ; 05-02 ; 06A06 ; 08A02

... 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 [+]

Z