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, S. C. 3 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

Two papers on the predicate calculus Kleene, S. C. | American Mathematical Society 1967

Ouvrage


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

Collected works. Vol. I
publications 1929-1936 Godel, Kurt ; Dawson, J. W. ; Feferman, S. ; Kleene, S. C. | Clarendon Press ; Oxford University Press 1985

Ouvrage

- 431 p.
Cote : 00010174
logique # logique mathématiques # logique symbolique # Godel # oeuvres complètes

01A60 ; 01A75 ; 03-02 ; 03A05

Localisation : Oeuvres complètes RdC (GODE)

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

Formalized recursive functionals and formalized realizabiblity Kleene, S. C. | American Mathematical Society 1969

Ouvrage

- 106 p.
Cote : 00023825
logique # fonctionnelle récursive # réalisabilité # théorème de récursion

03-XX ; 03D20

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

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Référence

Codes MSC

Date de Parution