検索条件入力 ＞ 書誌詳細 ＞ コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
書誌情報:コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
照井一成著
東京 : 青土社 , 2015.3
357p : 挿図 ; 20cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号登録番号資料ID状態貸出区分備考 
1 0太秦南館:５階閲覧室
  • 410.96
  • Te76k
  •  
1038918308001988 利用可
図書（帯出可） 

選択行を：  

書誌詳細
刊年2015
形態357p : 挿図 ; 20cm
別書名コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
注記文献一覧: p345-352
出版国日本
標題言語日本語
本文言語日本語
著者情報照井, 一成(1971-) (テルイ, カズシゲ)
分類NDC8:410.96
NDC9:410.96
ISBN9784791768516
件名BSH:記号論理学
NDLSH:情報科学
NCIDBB18264240
番号OTHN : TRC:15010194

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ