鶴見大学図書館所蔵の資料を検索します。
他大学所蔵の図書・雑誌を検索します。
論文情報を検索します。
機関リポジトリを検索します。
主要な医学系雑誌に掲載された論文を検索します。
国立国会図書館をはじめ、公共・大学図書館等様々な機関の所蔵データを検索できます。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:29件
コンピュータサイエンスにおける様相論理 / 鹿島亮著
東京 : 森北出版 , 2022.1
図書 <1000733414>
「ならば」騒乱 / 本橋信義著
東京 : 幻冬舎メディアコンサルティング. - 東京 : 幻冬舎 (発売) , 2018.3
図書 <1000699111>
記号論 / 吉田夏彦著
東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])
図書 <1000693684>
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
図書 <1000693405>
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著
東京 : 技術評論社 , 2017.2. - (知の扉シリーズ)
図書 <1000690568>
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
図書 <1000668421>
論理学入門 / 丹治信春著
東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])
図書 <1000660942>
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書 <1000645626>
1と0との物語 / 日野寛三著
[東京] : 東京図書出版 , 2012.5
図書 <1000634738>
数理論理学の基礎・基本 / 坪井明人著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3. - (理工系数学の基礎・基本 ; 13)
図書 <1000634866>
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
図書 <1000611834>
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
図書 <1000598656>
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
図書 <1000581437>
情報科学のための論理分析テクニック / 戸田誠之助著
東京 : 培風館 , 2007.6
図書 <1000556629>
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
図書 <1000546254>
記号論理入門 / 前原昭二著
: 新装版. - 東京 : 日本評論社 , 2005.12. - (日評数学選書)
図書 <1000679539>
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
図書 <1000206553>
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
図書 <1000160092>
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
図書 <1000136491>
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček
Cambridge, England ; New York : Cambridge University Press , 1995. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 60)
図書 <1000135733>