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.
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-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.
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.
- 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.
- 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.
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.
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.
- ix; 543 p.
ISBN 978-1-107-04152-7
Lecture notes in logic , 0047
Localisation : Ouvrage RdC (GROH)
théorie des graphes # logique # calcul complexe # décomposition d'arbres # graphe intégrable
03-02 ; 03D15 ; 03C65 ; 05C99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxi; 849 p.
ISBN 978-0-691-17543-0
Annals of mathematics studies
Localisation : Ouvrage RdC (ASCH)
série arithmétique # série divergente # expansion asymptotique # algèbre différentielle
12-02 ; 03-02 ; 12L12 ; 12H05 ; 03C64
... 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xviii; 511 p.
ISBN 978-1-4704-3182-2
Mathematical surveys and monographs , 0220
Localisation : Collection 1er étage
théorie de l'information # complexité de Kolmogorov # complexité de calcul # calcul algorithmique
68Q30 ; 03D32 ; 60A99 ; 03-02 ; 03D15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 183 p.
ISBN 978-1-107-11346-6
Cambridge philosophy classics
Localisation : Ouvrage RdC (LAKA)
théorie de la démonstration # philosophie # logique mathématique
03-02 ; 03A05 ; 00A35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- vii; 156 p.
ISBN 978-1-107-05775-3
Lecture notes in logic
Localisation : Ouvrage RdC (SIMO)
théorie des modèles # logique # indépendance
03-02 ; 03C45 ; 03C68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 417 p.
ISBN 978-0-521-77911-1
Cambridge tracts in theoretical computer science , 0043
Localisation : Ouvrage RdC (TROE)
théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale
03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 342 p.
ISBN 978-1-107-04230-8
Perspectives in logic
Localisation : Ouvrage RdC (PARI)
logique # philosophie # rationalité # langage polyadique # conformité # interchangeabilité du spectre # invariance de langage
03-02 ; 03A05 ; 03B48
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xv; 214 p.
ISBN 978-981-4612-61-6
Lecture notes series , 0028
Localisation : Ouvrage RdC (HIRS)
ensemble récursif # mathématiques inversées # théorème de Ramsey # ensemble stable # ensemble cohérent # WKL # lemme de König # arbre # ordre # chaîne # ensemble libre # ensemble maigre # ensemble générique # RCA
03-02 ; 03B30 ; 03F35 ; 03D30 ; 03D80 ; 03E05 ; 05D10
... Lire [+]
