12345678910 >>     

書誌番号	0000087857
言語	jpn : 日本語
NACSIS ID	BB18264240
和洋区分	和資料
書名	コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
書名カナ	コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
その他タイトル	異なりｱｸｾｽタイトル:コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
著者名	照井一成著
出版事項	東京 : 青土社, 2015.3
形態	357p ; 20cm
分類	NDC8版 : 410.96 NDC9版 : 410.96
巻冊次表示	巻書名 ISBN 表示価格 書籍リンク 9784791768516 2800円 (税別)
著者名典拠	照井, 一成(1971-)
件名	[普通件名] : BSH:記号論理学||キゴウロンリガク//K [普通件名] : NDLSH:情報科学||ジョウホウカガク//K
注記	文献一覧: p345-352

該当件数：1件

	巻書名	所蔵ID	配架場所	請求記号	備考	返却予定日	ステータス	予約数
		10061848	一般	410.96 T			貸出可能	0

[予約]：チェックした資料に対し予約申込を行います[請求]：チェックした資料に対し請求票を印刷します

12345678910 >>