m

Documents  Muller, G. H. | enregistrements trouvés : 8

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 396 p.
ISBN 978-0-387-13900-5

Lecture notes in mathematics , 1103

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 418 p.
ISBN 978-3-540-15673-4

Lecture notes in mathematics , 1141

Localisation : Collection 1er étage

03Bxx ; 03Exx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 431 p.
ISBN 978-3-540-11161-0

Lecture notes in mathematics , 0891

Localisation : Collection 1er étage

logique

03Cxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 476 p.
ISBN 978-3-540-08926-1

Lecture notes in mathematics , 0669

Localisation : Collection 1er étage

axiomatique # classification d'ensembles # fondements des mathématiques # indépendance # logique # nombre cardinal # recursion logique # résultat de consistce # ensemble ordonné # théorie de la recursion # théorie des ensembles # théorie descriptive d'ensemble

03D60 ; 02K05 ; 02K15 ; 02K30 ; 02K35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 393 p.
ISBN 978-3-540-52772-5

Lecture notes in mathematics , 1432

Localisation : Collection 1er étage

caculabilité relative # calcul non détermine # complexité # conjecture # énumération # énumération récursive # espace topologique # indécidabilité # informatique # non récursive # récursion # théorie de la récursion

03Dxx ; 03Exx ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-07534-9

Lecture notes in mathematics , 0499

Localisation : Collection 1er étage

approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # problème algorithmique irrésoluble récursivement # produit du forcing de Silver # propriété d'indescriptibilité # sémantique intensionnelle pour langage naturel # théorie des ensembles en langage infinitaire # théorie des modèles de corps locaux # théorie du calcul # théorème de Silver # type de données comme treillis # élimination de quantificateur approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # ...

03-XX ; 04-XX ; 68-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-07533-2

Lecture notes in mathematics , 0500

Localisation : Collection 1er étage

Prawitz # Schütte # borne supérieure pour la prouvabilité de l'induction transfi # calculabilité de fonctionnelle récursive primitive de type f # complétude intuitioniste de logique du second-ordre restrein # construction combinatoire avec preuve et élimination d'inter # extension de Skolem en logique intuitioniste avec égalité # foncteur sain # fonction normale # généralisation de théorème de complétude # interprétation fonctionnelle intensionnelle de l'analyse # normalisation forte pour arithmétique # notion classique de vérité # preuve de consistance et ordinal # principe et règle de Markov pour théorie de suite de choix # procédure de type Gentzen # règle et schéma # récursion en types supérieurs # standardisation généralisée en logique combinatoire # système constructif de nombres ordinaux # terme infini # théorie libre de type non-extensionnelle des opérations part # théorème de Church-Rosser pour lambda-calcul avec termes de # variante du système des signes W(X) pour nombres ordinaux # élément réel en preuve de consistance pour théorie des types Prawitz # Schütte # borne supérieure pour la prouvabilité de l'induction transfi # calculabilité de fonctionnelle récursive primitive de type f # complétude intuitioniste de logique du second-ordre restrein # construction combinatoire avec preuve et élimination d'inter # extension de Skolem en logique intuitioniste avec égalité # foncteur sain # fonction normale # généralisation de théorème de complétude # interprétation fonctionnelle i...

03Fxx ; 03F99 ; 03D65 ; 03-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 358 p.
ISBN 978-0-7204-2284-9

Studies in logic and the foundationd of mathematics , 0084

Localisation : Ouvrage RdC (Sets)

Paul Bernays # bibliographie # biographie # ensemble et classe # fonction de choix d'ensemble ou classe # principe de réflexion et indescriptibilité # rôle des classes en théorie des ensembles # schéma d'infinité en théorie axiomatique des ensembles # système de théorie axiomatique des ensembles

01A70 ; 03E25 ; 03E30 ; 03Exx ; 04-XX

... Lire [+]

Z