| |
| Verfasst von: | Kleene, Stephen Cole  |
|---|---|
| Titel: | Formalized recursive functionals and formalized realizability |
| Verf.angabe: | S. C. Kleene |
| Verlagsort: | Providence (R.I.) |
| Verlag: | American Mathematical Soc. |
| Jahr: | 1969 |
| Umfang: | 106 S. |
| Gesamttitel/Reihe: | Memoirs of the American Mathematical Society ; 89 |
| ISBN: | 0-8218-1289-0 |
| 978-0-8218-1289-1 | |
| URL: | Inhaltsverzeichnis ; Verlag: http://www.gbv.de/dms/hbz/toc/ht001066692.pdf |
| Inhaltsverzeichnis: http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=1898554&custom_att_2=simple_viewer | |
| Sprache: | eng |
| Reproduktion: | Online-Ausgabe: Kleene, Stephen Cole, 1909 - 1994: Formalized recursive functionals and formalized realizability. - Providence, R.I: American Mathematical Society, 2012. - Online-Ressource (1 online resource (106 p.)) |
| RVK-Notation: | SI 990 |
| K10plus-PPN: | 021355932 |
| Verknüpfungen: | → Übergeordnete Aufnahme |
| Signatur | QR | Standort | Status | |
|---|---|---|---|---|
| 69 B 2364 |  | Hauptbibliothek Altstadt / Tiefmagazin NC B | bestellbar | |
| Mediennummer: 01044658 | ||||
| Kleen | | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | |
| Mediennummer: 34119960, Inventarnummer: 78/f 6285 | ||||
