Mendeley出力
＜図書＞
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
| 責任表示 | 照井一成著 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 東京 : 青土社 , 2015.3 |
| 本文言語 | 日本語 |
| 大きさ | 357p ; 20cm |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
芸工図 2F 書架 | 410.96/Te76 | 2015 |
|
050112015002180 |
|
|||
|
|
|
筑紫図 1C 400-449 | 410.96/Te 76/A | 2015 |
|
060112015000858 |
|
|||
|
|
|
筑紫図 1B おみくじコーナー | 410.96/Te 76 | 2015 |
|
060112015000148 |
|
書誌詳細
| 別書名 | 異なりアクセスタイトル:コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ |
|---|---|
| 一般注記 | 文献一覧: p345-352 |
| 著者標目 | 照井, 一成(1971-) <テルイ, カズシゲ> |
| 件 名 | BSH:記号論理学 NDLSH:情報科学 |
| 分 類 | NDC8:410.96 NDC9:410.96 |
| 書誌ID | 1001566563 |
| ISBN | 9784791768516 |
| NCID | BB18264240 |
| 巻冊次 | ISBN:9784791768516 ; PRICE:2800円 (税別) |
| 登録日 | 2015.05.29 |
| 更新日 | 2015.06.18 |