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.
- 228 p.
ISBN 978-0-8218-3014-7
Proceedings of the Steklov institute of mathematics , 0114
Localisation : Collection 1er étage
03F99 ; 46A05 ; 46F05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 595 p.
ISBN 978-3-540-08353-5
Lecture notes in computer science , 0053
Localisation : Collection 1er étage
automate # intelligence artificielle # langage formel # logique # logique mathématique # machine de turing # programmation # programme # théorie des langages # théorie des machines
03F99 ; 03Fxx ; 03Dxx ; 18B20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 137 p.
ISBN 978-90-6196-122-2
Mathematical centre tracts , 0073
Localisation : Collection 1er étage
logique formelle # logique predicative # théorie de la preuve
02C15 ; 03F99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-05541-9
Lecture notes in mathematics , 0212
Localisation : Collection 1er étage
analyse classique # arbre bien fondé récursif primitif # bon ordonnancement récursif # formule de Harrop # induction transfinie classique # langage # paramètre de fonction # preuve de consistance # preuve de consistance relative # principe de Markov # prédicat décidable # syntaxe # système d'analyse # système intuitioniste de théorie des nombres # système intuitioniste formel # système à induction barrée # théorie de la preuve # théorie intuitioniste formelle
analyse classique # arbre bien fondé récursif primitif # bon ordonnancement récursif # formule de Harrop # induction transfinie classique # langage # paramètre de fonction # preuve de consistance # preuve de consistance relative # principe de Markov # prédicat décidable # syntaxe # système d'analyse # système intuitioniste de théorie des nombres # système intuitioniste formel # système à induction barrée # théorie de la preuve # théorie ...
03F99 ; 03-02 ; 03B55 ; 03F55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-06119-9
Lecture notes in mathematics , 0306
Localisation : Collection 1er étage
analyse de Heyting # calcul T de fonctionnelle récursive primitive # calcul T union BR de fonctionnelle récursive bar # définition inductive généralisée # généralisation d'induction bar Bi indice D # induction bar générale sur espèce # interprétation fonctionnelle d'analyse classique # interprétation fonctionnelle d'arithmétique classique # interprétation fonctionnelle de Gödel # interprétation fonctionnelle de Gödel extensionnel # modèle pour T uion BR # modèle récursif bar d'analyse classique # passage de théorie approchée classique à intuitioniste # preuve de consistance par calcul # processus de génération inductif vers arbre sur espèce # système formel d'analyse classique # élimination d'extensionalité
analyse de Heyting # calcul T de fonctionnelle récursive primitive # calcul T union BR de fonctionnelle récursive bar # définition inductive généralisée # généralisation d'induction bar Bi indice D # induction bar générale sur espèce # interprétation fonctionnelle d'analyse classique # interprétation fonctionnelle d'arithmétique classique # interprétation fonctionnelle de Gödel # interprétation fonctionnelle de Gödel extensionnel # modèle pour T ...
03F99 ; 03-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-06491-6
Lecture notes in mathematics , 0344
Localisation : Collection 1er étage
application de modèle de Kripke # arbre et ordinal # définition inductive itérée # fonctionnelle majorable héréditairement de type défini # fonctionnelle récursive primitive # investigation métamathématique d'arithmétique ou analyse int # modèle et calculabilité # réalisabilité et interprétation fonctionnelle # système formel intuitioniste # théorème de normalisation pour système de déduction naturell
03F99 ; 03B55 ; 03F55 ; 03-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-07149-5
Lecture notes in mathematics , 0447
Localisation : Collection 1er étage
2ème preuve de consistance de Gentzen # analyse # introduction de répétition # logique du 2ème ordre # procédure de traduction # système d'ordre supérieur dû à Schütte # système de Schütte à partie positive ou négative # système de tableau # théorie des nombres du 1er ordre # théorie des nombres intuitioniste # élimination de coupure
03-02 ; 03A05 ; 03B15 ; 03C60 ; 03F99
... Lire [+]