m

F Nous contacter

0

Documents  03D65 | enregistrements trouvés : 6

O
     

-A +A

P Q

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.

- xiii; 465 p.
ISBN 978-0-521-51769-0

Perspectives in logic

Localisation : Ouvrage RdC (SCHW)

théorie de la démonstration # théorie de la preuve # théorie de la calculabilité # théorème d'incomplétude de Gödel # arithmétique de Peano # récursivité

03-02 ; 03D15 ; 03D65 ; 03F10 ; 03F15 ; 03F35 ; 03F40

... Lire [+]

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


ISBN 978-3-540-08132-6

Lecture notes in mathematics , 0574

Localisation : Collection 1er étage

calcul dans les types supérieurs # caractère Mahlo # domaine de calcul # liste normale # longueur de calcul fosse # objet normal # platek # récursion de Kleene # théorie de Kleene abstraite # théorie de calcul normale

03D60 ; 03D65 ; 03-02

... Lire [+]

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

- 344 p.
ISBN 978-3-540-19305-0

Perpectives in mathematical logic

Localisation : Ouvrage RdC (SACK)

ensemble admissible # ensemble ordonné # fondement de la logique # logique # recursivité # théorie de la récursion

03D55 ; 03D60 ; 03D65 ; 03E15

... Lire [+]

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

- 431 p.
ISBN 978-3-540-10019-5

Lecture notes in mathematics , 0811

Localisation : Collection 1er étage

logique # distribution invariante # algoritmique # recursion

03D65

... Lire [+]

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

- 480 p.
ISBN 978-3-540-07904-0

Perspectives in mathematical logic

Localisation : Ouvrage RdC (HINM)

hiérarchie # mathématique logique et fondation

03D60 ; 03D65 ; 03E15 ; 03-02 ; 04A15

... Lire [+]

Z