Formalized recursive functionals and formalized realizability, by S. C. Kleene. (Memoirs of the American Mathematical Society, no. 89)

Formalized recursive functionals and formalized realizability, by S. C. Kleene.

(Memoirs of the American Mathematical Society, no. 89)

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Formalized recursive functionals and formalized realizability, by S. C. Kleene.
Series Title: Memoirs of the American Mathematical Society, no. 89
Title Heading: Memoirs of the American Mathematical Society ; no. 89.
Author Heading: Kleene, Stephen Cole, 1909-1994 ( 00445849 )Authorities
Publication, Distribution, etc.: Providence : American Mathematical Society
Publication Date: 1969.
Publication Date (W3CDTF): 1969
Extent: 106 p. 26 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Recursive functions.
NDLC: MA41
Note (General): Cover title.
Note (Bibliography): Bibliography: p. 104-106.
Holding library: 国立国会図書館
Call No.: MA41-16
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006242954
http://id.ndl.go.jp/bib/000006242954
Bibliographic Record Category (NDL): 211