Normal view MARC view ISBD view

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.
Current location Call number Status Date due Barcode
Séries AMS (Browse shelf) Available 03147-01

Bibliogr. p. 104-106

There are no comments for this item.

Log in to your account to post a comment.