Formalized recursive functionals and formalized realizability / S. C. Kleene
Type 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 theoryCurrent location | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Couloir | Séries AMS (Browse shelf) | Available | 03147-01 |
Bibliogr. p. 104-106
There are no comments for this item.