富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.12)
該当件数:19件
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] : 高橋昌一郎訳
東京 : 丸善 , 1996.7
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - 2nd ed. - New York : Tokyo : Springer-Verlag , c1994. - (Undergraduate texts in mathematics)
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ / 赤間世紀著
東京 : 啓学出版 , 1992.12
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen
Cambridge, Mass. : MIT Press , c1990. - (The MIT Press series in artificial intelligence)
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)
初等記号論理学入門 / 倉田令二朗, 中村修著
東京 : 国土社 , 1974.2. - (数学ぶっくす ; 7)
ブール代数 / 安宅彦三郎著
東京 : 共立出版 , 1969.9
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)
数学史 / 小堀憲著
東京 : 朝倉書店 , 1956.3. - (科学・技術史全書)