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