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 results

Filter
Select: All / None
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


Call n° : 00014940
Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 00010174
logique # logique mathématiques # logique symbolique # Godel # oeuvres complètes

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

Location : Oeuvres complètes RdC (GODE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 00023825
logique # fonctionnelle récursive # réalisabilité # théorème de récursion

03-XX ; 03D20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Authors

Reference

MSC Codes

Publication Date