m
MathOuvrage

H 0 Formalized recursive functionals and formalized realizability

Kleene, Stephen C.

American mathematical Society

1969

106 p.

8399-8566


Exemplaires

Nbre d'exemplaires : 2
Inventaire Code barre Localisation
1 8399 1031920 PERIO
2 8566 1031921 PERIO

Type de doc : M

Ville d'édition : Providence RI

Pays d'édition : us

Langue ouvrage : eng

Collection : Memoirs of the american mathematical society

N° dans la collection : 089

ISSN Collection : 0065-9266

Bibliographie : Notes bibliogr.

Lien SUDOC : https://www.sudoc.fr/016525620

Z