学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
日本の学術論文情報を検索できます。
国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。
メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。
検索キーワード:(件名: #記号論理学)
該当件数:189件
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
書誌ID=2001820529 NCID=BC13357057
文系のための記号論理入門 : 命題論理から不完全性定理まで / 金子裕介著
東京 : 朝倉書店 , 2021.5
書誌ID=2001806430 NCID=BC07077872
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
書誌ID=2001399326 NCID=BA85928374
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
書誌ID=2000651706 NCID=BN14007364
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
書誌ID=2000565284 NCID=BN10188347
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
書誌ID=2000567269 NCID=BN10526687
数理論理学原論 : 近代ポーランド論理学の原典 / ヤン・ウカシェーヴィチ著 ; 高松鶴吉訳
東京 : 文化書房博文社 , 1992.4
書誌ID=2000522156 NCID=BN07578966
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
書誌ID=2000461519 NCID=BN07420247
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
書誌ID=2000299143 NCID=BN04117719
数学教師が教えるやさしい論理学 / 涌井良幸著
東京 : ベレ出版 , 2023.3
書誌ID=2001840622 NCID=BD01653650
記号論理学 / 山本新, 入江俊夫, 田村高幸著
東京 : 朝倉書店 , 2023.11
書誌ID=2001846723 NCID=BD04653318
論理学への数学的手引き / Herbert B. Enderton [著] ; 嘉田勝訳
[出版地不明] : 1月と7月 , 2020.9
書誌ID=2001794225 NCID=BC03589588
論理と分析 : 文系のための記号論理入門 / 金子裕介著
京都 : 晃洋書房 , 2019.8
書誌ID=2001768059 NCID=BB28841919
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
東京 : 森北出版 , 2018.7
書誌ID=2001754348 NCID=BB26635133
記号論 / 吉田夏彦著
東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])
書誌ID=2001716993 NCID=BB2460813X
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
書誌ID=2001713819 NCID=BB24269023
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
書誌ID=2001649672 NCID=BB18525719
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
書誌ID=2001760491 NCID=BB1734197X
今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著
東京 : 講談社 , 2014.9. - (今度こそわかるシリーズ)
書誌ID=2001662095 NCID=BB16709608
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
書誌ID=2001656685 NCID=BB1644619X