>> Google Books
 ↑ タイトル、所在を表示

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

フォーマット:
図書
責任表示:
照井一成著
出版情報:
東京 : 青土社, 2015.3
形態:
357p ; 20cm
ISBN:
9784791768516 [4791768515]  CiNii Books  Webcat Plus  Google Books
著者名:
照井, 一成(1971-) <DA18175434>  
書誌ID:
BB18264240
注記:
文献一覧: p345-352
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
7 図書 数学基礎論

竹内, 外史(1926-)

共立出版

8 図書 数学基礎論

隈部, 正博(1962-)

放送大学教育振興会

田村, 進一

培風館

9 図書 数学基礎論

竹内, 外史(1926-), 八杉, 満利子(1937-)

共立出版

岡田, 稔(1959-), 三輪, 和久(1961-)

朝倉書店

10 図書 数学基礎論

竹内, 外史(1926-)

共立出版

Wells, D. G. (David G.), 伊藤, 雄二(1935-), 田中, 紀子(翻訳)

日本評論社

11 図書 数学基礎論

山本, 新(1949-)

高文堂出版社

12 図書 数学基礎論

Kneebone, Geoffrey Thomas, 安藤, 洋美

明治図書出版