Navigation überspringen
Universitätsbibliothek Heidelberg
Status: bestellen
> Bestellen/Vormerken
Signatur: 69 B 2364   QR-Code
Standort: Hauptbibliothek Altstadt / Tiefmagazin NC B
Exemplare: siehe unten
Verfasser:Kleene, Stephen Cole   i
Titel:Formalized recursive functionals and formalized realizability
Verf.angabe:by 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-821-81289-0
 978-0-8218-1289-1
URL:Inhaltsverzeichnis: http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1898554&custom_att_2=simple_viewer
Sprache:eng
Bibliogr. Hinweis: Online-Ausg.: Kleene, Stephen Cole: Formalized recursive functionals and formalized realizability
RVK-Notation:SI 990   i
SWB-PPN:003044459
Verknüpfungen:→ Übergeordnete Aufnahme
Exemplare:

SignaturQRStandortStatus
69 B 2364QR-CodeHauptbibliothek Altstadt / Tiefmagazin NC Bbestellbar
Mediennummer: 01044658
KleenQR-CodeBereichsbibl. Mathematik+InformatikPräsenznutzung
Mediennummer: 34119960, Inventarnummer: 78/f 6285

Permanenter Link auf diesen Titel (bookmarkfähig):  http://katalog.ub.uni-heidelberg.de/titel/1044658   QR-Code
zum Seitenanfang