小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:30件
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
東京 : 森北出版 , 2018.4
図書
記号論 / 吉田夏彦著
東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])
論理学入門 / 丹治信春著
東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
数学の言葉と論理 / 渡辺治 [ほか] 著
東京 : 朝倉書店 , 2008.9. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 1)
論理と計算のしくみ / 萩谷昌己, 西崎真也著
東京 : 岩波書店 , 2007.6
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
DNAコンピューティング : 新しい計算パラダイム / G.パウン, G.ローゼンバーグ, A.サローマ著 ; 横森貴, 榊原康文, 小林聡訳
東京 : シュプリンガー・フェアラーク東京 , 1999.12
ゲーデルの不完全性定理 / レイモンド・スマリヤン[著] ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
Computability : a mathematical sketchbook / Douglas S. Bridges
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1994. - (Graduate texts in mathematics ; 146)
Model theory / Wilfrid Hodges
Cambridge [England] ; New York : Cambridge University Press , 1993. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 42)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確・田中朋之訳
東京 : 白揚社 , 1990.11
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
真理・証明・計算 : 論理と機械 / 内井惣七著
京都 : ミネルヴァ書房 , 1989.4
From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 271)