En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Scarpellini, Bruno 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Proof theory and intuitionistic systems Scarpellini, Bruno | Springer-Verlag 1971

Ouvrage


Cote : 00020328
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Ernst Specker selecta Jäger, Gerhard ; Läuchli, Hans ; Scarpellini, Bruno ; Strassen, Volker | Birkhäuser Verlag 1990

Ouvrage

- 397 p.
Cote : 00015930
Specker # algorithmique # analyse # analyse récursive # arithmétique # axiomatique # biographie # calcul des projections # combinatoire # complexité # espace # fondement des mathématiques # groupe # groupe additif # groupe de cohomologie # logique mathématique # oeuvres complètes # problème d'énumérations # problème de Sirkorski # théorie des nombres # variété de dimension 3 # oeuvres complètes

01A60 ; 01A70 ; 01A75 ; 03-03 ; 03Bxx

Localisation : Oeuvres complètes RdC (SPEC)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Référence

Codes MSC

J Plus

Date de parution