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 Kleene, Stephen Cole 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

The foundations of intuitionistic mathematics :
especially in relation to recursive functions Kleene, Stephen Cole ; Vesley, Richard Eugene | North-Holland Publishing Co. 1965

Ouvrage

- 206 p.
Cote : 00004223
analyse intuitive # continuum intuitif # logique # logique formelle # ordre de continu # postulat # réalisabilité # système formel

03A50 ; 03B20 ; 03Bxx ; 04A30

Localisation : Ouvrage RdC (KLEE)

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

Introduction to metamathematics Kleene, Stephen Cole | North-Holland Publishing Co. ; Wolters-Noordhoff Publishing 1971

Ouvrage

- 550 p.
Cote : 00004281
calcul prédicatif # déduction formelle # fonction récursif # logique # logique formelle # machine de Turing # métamathématique # paradoxe # système d'axiome # système formel

00A30 ; 03B22 ; 03D10 ; 03D20

Localisation : Ouvrage RdC (KLEE)

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