WebOPAC Local書誌詳細

ログイン

書誌詳細

図書館

検索結果一覧へ戻る

コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ

照井一成著. -- 青土社, 2015. <BB40158227>

(0)

(0)

(0)

(0)

(0)

登録タグ：

登録されているタグはありません

便利機能：

目次・あらすじを見るレビューを見る詳細情報を見る

書誌URL：

コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ

照井一成著. -- 青土社, 2015. <BB40158227>

(0)

(0)

(0)

(0)

(0)

登録タグ：

登録されているタグはありません

便利機能：

目次・あらすじを見るレビューを見る詳細情報を見る

書誌URL：

所蔵一覧 1件～1件（全1件）

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

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約	WEB書棚
0001		宇都宮	2F	410.96/Te 76	11522873			0件


No.	0001
巻号
所蔵館	宇都宮
配置場所	2F
請求記号	410.96/Te 76
資料ID	11522873
状態
返却予定日
予約	0件
WEB書棚

このページのTOPへ

目次・あらすじ

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

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

出版・頒布事項

東京 : 青土社 , 2015.3

形態事項

357p : 挿図 ; 20cm

巻号情報

ISBN	9784791768516

その他の標題

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

注記

文献一覧: p345-352

学情ID

BB18264240

本文言語コード

日本語

著者標目リンク

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

分類標目

数学 NDC8:410.96

分類標目

数学 NDC9:410.96

件名標目等

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

件名標目等

情報科学||ジョウホウカガク

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ