CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:32件
数学教師が教えるやさしい論理学 / 涌井良幸著
東京 : ベレ出版 , 2023.3
図書
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
東京 : 日本評論社 , 2021.7
文系のための記号論理入門 : 命題論理から不完全性定理まで / 金子裕介著
東京 : 朝倉書店 , 2021.5
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
東京 : 森北出版 , 2018.7
論理哲学論考 / ヴィトゲンシュタイン著 ; 丘沢静也訳
東京 : 光文社 , 2014.1. - (光文社古典新訳文庫 ; [KBウ1-1])
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著
東京 : NHK出版 , 2012.12. - (NHK出版新書 ; 394)
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
もの・言葉・思考 : 形而上学と論理 / 三上真司著
東京 : 東信堂 , 2007.1. - (横浜市立大学叢書 / [横浜市立大学学術研究会編] ; 8)
確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳
東京 : 培風館 , 2007.1
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
論理学 / 平尾始著
東京 : ナツメ社 , 2005.12. - (図解雑学 : 絵と文章でわかりやすい!)
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 / マーティン・ディヴィス著 : 岩山知三郎訳
東京 : コンピュータ・エージ社 , 2003.7
心の影 : 意識をめぐる未知の科学を探る / ロジャー・ペンローズ [著] ; 林一訳
1,2. - 東京 : みすず書房 , 2001.12-2002.4
初歩からの数理論理 / ア・ア・ストリャール著 ; 保坂秀正, 山崎昇共訳
東京 : 大竹出版 , 1998.7
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
東京 : 岩波書店 , 1991.8