Formalized recursive functionals and formalized realizability / (Record no. 41836)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02022cam a2200361 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9781470400385 (online) |
| 100 1# - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Kleene, Stephen Cole, |
| 245 10 - TITLE STATEMENT | |
| Title | Formalized recursive functionals and formalized realizability / |
| Statement of responsibility, etc | by S.C. Kleene. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Providence, R.I. : |
| Name of publisher | American Mathematical Society, |
| Year of publication | 1969. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 online resource (106 p.) |
| 490 1# - SERIES STATEMENT | |
| Series statement | Memoirs of the American Mathematical Society, |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Recursive functions. |
| 856 4# - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://www.ams.org/memo/0089 |
| 856 4# - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1090/memo/0089 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 588 ## - | |
| -- | Description based on print version record. |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK12542 | http://dx.doi.org/10.1090/memo/0089 | E-BOOKS |