<Books>
Formalized recursive functionals and formalized realizability / by S. C. Kleene.
(American mathematical society. Memoirs ; no. 89)
Publisher | Providence, R.I. : American Mathematical Society |
---|---|
Year | 1969 |
Size | 106 p. 26 cm. |
Authors | Kleene, Stephen Cole, 1909- |
Subjects | Recursive functions |
Notes | Cover title. \ Bibliography: p. 104-106. |
Hide book details.
Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|
数学図書室(図書) | 図書 |
|
410.8//Me38//VX1-89 |
|
|
|
|
|
|
2013084670 |
Hide details.
Material Type | Books |
---|---|
ID | 1000051190 |
Similar Items
Usage statistics of this contents
Total Lendings:0times
(Lending within 3 months:0times)