Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: 410.96)
Results:94items
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著
東京 : 技術評論社 , 2017.2. - (知の扉シリーズ)
Books
今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著
東京 : 講談社 , 2014.9. - (今度こそわかるシリーズ)
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳
東京 : 白揚社 , 1999.3
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
東京 : 共立出版 , 2002.2
記号論理学 / ゲオルク・クラウス著 ; 門上秀叡訳
上,下. - 東京 : 青木書店 , 1960-1962. - (唯物論叢書)
背理法 / 桂利行 [ほか] 著
東京 : 数学書房 , 2012.5. - (数学書房選書 / 桂利行 [ほか] 編 ; 2)
幾何的モデル理論入門 / 板井昌典著
改訂版. - 東京 : 日本評論社 , 2020.9
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
記号論理学 / 山本新, 入江俊夫, 田村高幸著
東京 : 朝倉書店 , 2023.11
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著
東京 : 東京大学出版会 , 2013.3
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
復刻版. - 東京 : シュプリンガー・ジャパン , 2007.3. - (シュプリンガー数学クラシックス ; 第4巻)
: electronic bk. - 東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
E-Book
含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也, 数理哲人共著
: electronic bk. - 京都 : 現代数学社 , 2018.1