小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:57件
計算理論と数理論理学 = Mathematics of logic and computation / 田中一之著
東京 : 共立出版 , 2022.6
図書
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
東京 : 森北出版 , 2018.4
記号論 / 吉田夏彦著
東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])
論理学入門 / 丹治信春著
東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
数理基礎論講義 : 論理・集合・位相 / 金子晃著
東京 : サイエンス社 , 2010.6. - (ライブラリ数理・情報系の数学講義 ; 1)
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
論理と集合から始める数学の基礎 / 嘉田勝著
東京 : 日本評論社 , 2008.12
数学の言葉と論理 / 渡辺治 [ほか] 著
東京 : 朝倉書店 , 2008.9. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 1)
ε(エプシロン)-δ(デルタ)に泣く : 数学の盲点とその解明 / 石谷茂著
京都 : 現代数学社 , 2006.11
∀(すべて)と∃(存在)に泣く : 数学の盲点とその解明 / 石谷茂著
新版. - 京都 : 現代数学社 , 2006.11
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
よくわかる記号論理 / 藤村龍雄著
東京 : 勁草書房 , 2005.11
論理哲学論考 / L. ウィトゲンシュタイン著 ; 中平浩司訳
東京 : 筑摩書房 , 2005.5. - (ちくま学芸文庫 ; [ウ-15-1])
記号論理入門 / 金子洋之著
東京 : 産業図書 , 1998.5. - (哲学教科書シリーズ)
ゲーデルの不完全性定理 / レイモンド・スマリヤン[著] ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6