ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(標準分類: 410.96)
該当件数:28件
日本語から記号論理へ / 齋藤正彦[著]
東京 : 日本評論社 , 2010.5
図書 [BB02198635]
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
図書 [BB26881355]
幾何的モデル理論入門 / 板井昌典著
改訂版. - 東京 : 日本評論社 , 2020.9
図書 [BC02747923]
フレーゲの哲学 / アンソニー・ケニー [著] ; 野本和幸 [ほか]訳
東京 : 法政大学出版局 , 2001.3. - (叢書・ウニベルシタス ; 721)
図書 [BA51535676]
現代数理論理学序説 / 古森雄一 , 小野寛晰著
東京 : 日本評論社 , 2010.6
図書 [BB02425588]
記号論 / 吉田夏彦著
東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])
図書 [BB2460813X]
不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)
図書 [BB24549788]
1と0との物語 / 日野寛三著
[東京] : 東京図書出版. - 東京 : リフレ出版 (発売) , 2012.5
図書 [BB09380069]
ろんりと集合 / 中内伸光著
東京 : 日本評論社 , 2009.9
図書 [BA91419987]
数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著
東京 : NHK出版 , 2012.12. - (NHK出版新書 ; 394)
図書 [BB11199209]
数理論理学の基礎・基本 / 坪井明人著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3. - (理工系数学の基礎・基本 ; 13)
図書 [BB08689855]
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
図書 [BA91721370]
計算論理入門 : 情報の数理 / 田中尚夫著
東京 : 裳華房 , 1997.10
図書 [BA33465309]
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
図書 [BB1644619X]
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
図書 [BB18525719]
論理学入門 / 丹治信春著
東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])
図書 [BB15539590]
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
図書 [BB08796072]
記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著
東京 : 東京大学出版会 , 2013.3
図書 [BB12134898]
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
図書 [BA85928374]
論理リテラシー / 鈴木登志雄著
東京 : 培風館 , 2009.2
図書 [BA89502385]
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
東京 : 森北出版 , 2018.7
図書 [BB26635133]
フレーゲ哲学の全貌 : 論理主義と意味論の原型 / 野本和幸著
東京 : 勁草書房 , 2012.9
図書 [BB10370517]
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
図書 [BB24269023]
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
図書 [GP73687835]
証明のすすめ : 数学の証明 / リュディガー・ティーレ原著 ; 金井省二訳
東京 : 森北出版 , 1990.7
図書 [BN05042455]
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書 [BB12229644]
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳
東京 : 丸善出版 , 2013.1
図書 [BB11573316]
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
図書 [BN10526687]
