本文に飛ぶ
図書

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

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

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

国立国会図書館請求記号
MA41-L43
国立国会図書館書誌ID
026104024
資料種別
図書
著者
照井一成 著
出版者
青土社
出版年
2015.3
資料形態
ページ数・大きさ等
357p ; 20cm
NDC
410.96
すべて見る

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
978-4-7917-6851-6
タイトルよみ
コンピュータ ワ スウガクシャ ニ ナレル ノカ : スウガク キソロン カラ ショウメイ ト プログラム ノ リロン エ
著者・編者
照井一成 著
著者標目
照井, 一成, 1971- テルイ, カズシゲ, 1971- ( 001196973 )典拠
出版事項
出版年月日等
2015.3
出版年(W3CDTF)
2015
数量
357p