コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
- 著者名照井一成著
- 出版者青土社
- 出版年2015.3
貸出・返却・予約状況
- 所蔵数1
- 貸出可能数1
- 予約数0
所蔵事項
- 登録番号0001546
- 請求記号410.96/TE
- 貸出区分通常
- 蔵書区分図書
- 配架場所 2階閲覧室
- 所蔵状態所蔵
書誌事項
- 書名コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
- 著者名照井一成著
- ISBN9784791768516
- 出版地東京
- 出版者青土社
- 出版年2015.3
- ページ357p
- サイズ20cm
- 注記文献一覧: p345-352
- 件名記号論理学
情報科学