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 |