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