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.
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.
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-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.
- 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.
- 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.
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.
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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 635 p.
ISBN 978-0-444-85102-4
Studies in logic and the foundations of mathematics , 0093
Localisation : Oeuvres complètes RdC (MOST)
arithmétique du second ordre # arithmétique oméga-complète # axiome du choix # calcul fonctionnel # calcul logique # constructibilité # corps booléen dénombrable # décidabilité # définabilité # définition imprédicative # ensemble # fondement # forcing # hiérarchie # logique multi-valuée # modèle # métamathématique générale # oméga-modèle non béta-modèle # principe d # Mostowski # oeuvres complètes
01A60 ; 03-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 146 p.
ISBN 978-0-387-08428-2
Ergebnisse der mathematik und ihrer grenzgebiete , 0081
Localisation : Ouvrage RdC (CROS)
types d'équivalence récursifs # application
03-02 ; 02F40 ; 02H15 ; 02H99 ; 18B99
... 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.
- 222 p.
ISBN 978-0-387-09349-9
Perspectives in mathematical logic
Localisation : Ouvrage RdC (FENS)
théorie abstraite et axiomatique de compatibilité et de récursion # hiérarchie # théorie de compatibilité et de récursion sur des nombres ordinaux # ensemble admissible
03-02 ; 03D75
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 487 p.
ISBN 978-0-12-597680-0
Pure and applied mathematics , 0098
Localisation : Ouvrage RdC (ROSE)
conjecture de Fraissé # jeu de Ehrenfaucht # langage formel # ordonnancempent linéaire # théorie de la récursion # théorème de Hausdorff # théorème de Ramsey # théorème de partition
03-01 ; 03-02 ; 06-01 ; 06-02 ; 06Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 288 p.
ISBN 978-0-8218-1799-5
American mathematical society translations series 2 , 0098
Localisation : Collection 1er étage
03-02
... 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.