この文献を取り寄せる

図書館へ購入を依頼する

このページのリンク

<図書>
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
コンピュータ ワ スウガクシャ ニ ナレルノカ? : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ

出版者 東京 : 青土社
出版年 2015.3
本文言語 日本語
大きさ 357p ; 20cm
別書名 異なりアクセスタイトル:コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
一般注記 文献一覧: p345-352
著者標目 照井, 一成(1971-) <テルイ, カズシゲ>
件 名 BSH:記号論理学
分 類 NDC8:410.96
NDC9:410.96
書誌ID 1000668421
ISBN 9784791768516
NCID BB18264240 WCLINK

所蔵情報を非表示


開架 一般 410.96/T 1357120
9784791768516

書誌詳細を非表示

データ種別 図書
巻冊次 ISBN:9784791768516 ; PRICE:2800円 (税別)

 類似資料