Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
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 [+]
