Documents  03-02 | enregistrements trouvés : 120

- 329 p.

Proceedings of the Steklov institute of mathematics , 0093

Localisation : Collection 1er étage

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

... Lire [+]

ISBN 978-0-8218-1425-3

Proceedings of symposia in pure mathematics , 0025

Localisation : Collection 1er étage

03-02 ; 03-06 ; 03Exx

... Lire [+]

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

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

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

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

Publications mathematiques de l'universite paris vii , 0027

Localisation : Publication 1er étage

logique

03-02 ; 03-06

... Lire [+]

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

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

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

- 394 p.
ISBN 978-3-540-07451-9

Perspectives in mathematical logic

Localisation : Ouvrage RdC (BARW)

03D60 ; 03C75 ; 03-02 ; 03C99 ; 03E55

... Lire [+]

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

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

- 240 p.
ISBN 978-0-387-09710-7

Lecture notes in mathematics , 0759

Localisation : Collection 1er étage

03-02 ; 03D30 ; 03D35 ; 03F30

... Lire [+]

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

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

- 288 p.
ISBN 978-0-8218-1799-5

American mathematical society translations series 2 , 0098

Localisation : Collection 1er étage

03-02

... Lire [+]

- 425 p.
ISBN 978-0-387-13258-7

Perspectives in mathematical logic

Localisation : Ouvrage RdC (DEVL)

03-02 ; 03Exx ; 04-02 ; 04A25 ; 04A30

... Lire [+]

ISBN 978-90-232-1888-3

Methodology and science foundation , 0002

Localisation : Ouvrage RdC (GILL)

03-02 ; 03A05 ; 03C62 ; 10-02 ; 11-02

... Lire [+]