和歌山大学が所蔵している図書や雑誌(電子ブック・電子ジャーナル含む)を検索します。
日本の大学図書館が所蔵している図書や雑誌を検索できます。
国立国会図書館が所蔵している図書や雑誌などを検索できます。
日本語の雑誌記事・学術論文を検索できます。
IRDBを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #記号論理学)
該当件数:74件
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
図書
例題で学ぶ集合と論理 / 鈴木登志雄著
東京 : 森北出版 , 2016.1
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
論理哲学論考 / ヴィトゲンシュタイン著 ; 丘沢静也訳
東京 : 光文社 , 2014.1. - (光文社古典新訳文庫 ; [KBウ1-1])
記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著
東京 : 東京大学出版会 , 2013.3
数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著
東京 : NHK出版 , 2012.12. - (NHK出版新書 ; 394)
数理論理学の基礎・基本 / 坪井明人著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3. - (理工系数学の基礎・基本 ; 13)
数理論理学序説 / 前原昭二著
復刊. - 東京 : 共立出版 , 2010.9
現代数理論理学序説 / 古森雄一, 小野寛晰著
東京 : 日本評論社 , 2010.6
数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著
東京 : 内田老鶴圃 , 2010.5
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
ろんりと集合 / 中内伸光著
東京 : 日本評論社 , 2009.9
ε (エプシロン) -δ (デルタ) に泣く / 石谷茂著
京都 : 現代数学社 , 2006.11. - (数学の盲点とその解明)
∀ (すべて) と∃ (存在) に泣く / 石谷茂著
新版. - 京都 : 現代数学社 , 2006.11. - (数学の盲点とその解明)
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
論理と代数の基礎 : 初めて学ぶ人のために / 硲文夫著
東京 : 培風館 , 2003.6
数学と論理 / 難波完爾著
東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23)
知的エージェントのための集合と論理 / 中島秀之著
東京 : 共立出版 , 2000.6. - (インターネット時代の数学シリーズ / 戸川隼人 [ほか] 編 ; 6)
