Search Local DataBase.
Search CiNii Research.
Search CiNii Books.
Search CiNii Dissertations.
Search NDL Search.
Search keyword:(Standard classification: 410.96)
Results:3items
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
Books
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7