Mendeley出力
＜図書＞
Formalized recursive functionals and formalized realizability
| 責任表示 | by S.C. Kleene |
|---|---|
| シリーズ | Memoirs of the American Mathematical Society ; no. 89 |
| データ種別 | 図書 |
| 出版情報 | Providence : American Mathematical Society , c1969 |
| 本文言語 | 英語 |
| 大きさ | 106 p. ; 26 cm |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
数理 雑誌室 | SER/MAMS/K89 | 1969 |
|
027232003250263 |
|
書誌詳細
| 著者標目 | *Kleene, S. C. |
|---|---|
| 書誌ID | 1001041954 |
| NCID | BA08862034 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |