Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00021141
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
'extensional ité
[-] 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
Localisation : Collection 1er étage
English