富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:116件
証明論入門 / 竹内外史, 八杉満利子共著
復刊. - 東京 : 共立出版 , 2010.6
図書
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
無限のパラドクス : 数学から見た無限論の系譜 / 足立恒雄著
東京 : 講談社 , 2000.1. - (ブルーバックス ; B-1278)
巨大基数の集合論 / A. カナモリ著 : 渕野昌訳
東京 : シュプリンガー・フェアラーク東京 , 1998.10
Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)
Beyond words / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)
Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] : 高橋昌一郎訳
東京 : 丸善 , 1996.7
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
数学の基礎 / L.ウィトゲンシュタイン著 : 中村秀吉, 藤田晋吾訳
6版. - 東京 : 大修館書店 , 1994.11. - (ウィトゲンシュタイン全集 ; 7)
確率的方法とシミュレーション / 伏見正則著
東京 : 岩波書店 , 1994.3. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 10)
知識と推論 / 森下真一著
東京 : 共立出版 , 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)
ファジィエキスパートシステム入門 / 廣田薫著
東京 : オーム社 , 1993.9
計算代数と計算幾何 / 佐々木建昭 [ほか] 著
東京 : 岩波書店 , 1993.9. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 9)
ファジィ・エキスパート・システム / 日本ファジイ学会編 : 本多中二, 高木友博編集担当 ; 馬野元秀 [ほか] 執筆
東京 : 日刊工業新聞社 , 1993.8. - (講座ファジィ / 日本ファジィ学会編 ; 8)
計算の理論 / 笠井琢美, 戸田誠之助著
東京 : 共立出版 , 1993.6. - (情報数学講座 ; 4)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)