WebOPAC Local書誌詳細

書誌詳細

	コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ照井一成著. -- 青土社, 2015. <BB10101880> 便利機能：詳細情報を見る

コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ照井一成著. -- 青土社, 2015. <BB10101880> 便利機能：詳細情報を見る

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	禁帯出区分	状態	返却予定日	予約
0001		図書館	大学自然科学	410.12//25	0114910284	可			0件

標題および責任表示

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

出版・頒布事項

東京 : 青土社 , 2015.3

形態事項

357p ; 20cm

巻号情報

ISBN	9784791768516

その他の標題

異なりアクセスタイトル:コンピュータは数学者になれるのか : 数学基礎論から証明とプログラムの理論へ
コンピュータワスウガクシャニナレルノカ : スウガクキソロンカラショウメイトプログラムノリロンエ

注記

文献一覧: p345-352

学情ID

BB18264240

本文言語コード

日本語

著者標目リンク

照井, 一成(1971-)||テルイ, カズシゲ <AU10038863>

分類標目

数学 NDC8:410.96

分類標目

数学 NDC9:410.96

件名標目等

記号論理学||キゴウロンリガク