Formalized recursive functionals and formalized realizability / S. C. Kleene

Auteur principal : Kleene, Stephen Cole, 1909-1994, AuteurType de document : MonographieCollection : Memoirs of the American Mathematical Society, 89Langue : anglais.Pays: Etats Unis.Éditeur : Providence : American Mathematical Society, 1969Description : 1 vol. (106 p.) ; 26 cmISBN: 0821812890.ISSN: 0065-9266.Bibliographie : Bibliogr. p. 104-106.Sujet MSC : 03Dxx, Mathematical logic and foundations - Computability and recursion theory
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		Séries AMS (Browse shelf(Opens below)) Available 03147-01

Bibliogr. p. 104-106

There are no comments on this title.

to post a comment.