ようこそ  ゲスト さん

山梨大学OPAC

ヘルプ
入力補助
English
TOP
図書館サービス
    • 図書新着案内
    • 雑誌最新巻号案内
    • ベストリーディング
    • アクセスランキング
利用者サービス
    • MyLibrary ログイン
  • 図書館
  • 医学分館
  • 医学分館(院内PC専用)
  • 山梨大学
  • リポジトリ
  • 電子ジャーナル
  • 山梨大学
  • 国内大学等
  • CiNii(論文)
  • IRDB
  • 国立国会図書館
  • その他の検索
    • 国内大学等
    • CiNii(論文)
    • IRDB
    • 国立国会図書館

蔵書検索

山梨大学の蔵書を検索します。

国内大学等

CiNii Booksを検索します。

CiNii(論文)

CiNiiを検索します。

IRDB

IRDBを検索します。

国立国会図書館

NDLサーチを検索します。

検索条件を開く
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

キャンパス

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
全ての項目:
論文名:
著者名:
刊行物名:
並び順:
一覧表示件数:
全ての項目:
タイトル:
著者名:
雑誌名:
一覧表示件数:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
出版者:
件名:
ISBN:
ISSN:
出版年: –
並び順:
一覧表示件数:
分類表からの検索を行います。一覧から一つを選択し、「検索」ボタンをクリックしてください。
  • 日本十進分類
  • 医学分類(NLMC)

分類

検索条件

キーワード:

» 絞込条件

検索結果

本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。

検索キーワード:(件名: #記号論理学)

該当件数:90件

  • 件
  • 1
  • 2
  • ファイル出力
  • 選択した資料の詳細表示
全選択
  • 1.

    不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳

    東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)

     図書



  • 2.

    はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著

    東京 : 森北出版 , 2018.7

     図書



  • 3.

    Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著

    東京 : 森北出版 , 2018.4

     図書



  • 4.

    「論理」を分析する / 八木沢敬著

    東京 : 岩波書店 , 2018.1. - (岩波現代全書 ; 111)

     図書



  • 5.

    不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳

    東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)

     図書



  • 6.

    情報理論のための数理論理学 / 板井昌典著

    東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)

     図書



  • 7.

    数理議論学 / 若木利子, 新田克己共著

    東京 : 東京電機大学出版局 , 2017.3

     図書



  • 8.

    集合・論理と位相 / 新井敏康著 ; 基幹講座数学編集委員会編

    東京 : 東京図書 , 2016.11. - (基幹講座数学)

     図書



  • 9.

    例題で学ぶ集合と論理 / 鈴木登志雄著

    東京 : 森北出版 , 2016.1

     図書



  • 10.

    論理・集合・数学語 / 石川剛郎著

    東京 : 共立出版 , 2015.12. - (共立講座 数学探検 ; 3)

     図書



  • 11.

    論理・確率とマルコフ連鎖 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen [著] ; 栁沼壽訳

    東京 : 丸善出版 , 2015.10. - (初歩からの数学 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen [著] ; 栁沼壽訳 ; 3)

     図書



  • 12.

    論理数学 / 太原育夫著

    東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)

     図書



  • 13.

    コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著

    東京 : 青土社 , 2015.3

     図書



  • 14.

    スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳

    東京 : 丸善出版 , 2014.11

     図書



  • 15.

    数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著

    東京 : コロナ社 , 2014.10

     図書



  • 16.

    今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著

    東京 : 講談社 , 2014.9. - (今度こそわかるシリーズ)

     図書



  • 17.

    学んでみよう!記号論理 / 高崎金久著

    東京 : 日本評論社 , 2014.8

     図書



  • 18.

    記号論理学 / 加藤浩, 土屋俊著

    東京 : 放送大学教育振興会 , 2014.3. - (放送大学教材 ; 1570064-1-1411)

     図書



  • 19.

    不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著

    東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)

     図書



  • 20.

    論理・集合と位相空間入門 / 栗山憲著

    東京 : 共立出版 , 2012.4

     図書



  • 21.

    数理論理学 = Mathematical logic / 戸次大介著

    東京 : 東京大学出版会 , 2012.3

     図書



  • 22.

    数理論理学 / 鹿島亮著

    東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)

     図書



  • 23.

    数理論理学 / 古川康一, 向井国昭著

    東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)

     図書



  • 24.

    確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳

    東京 : 培風館 , 2007.1

     図書



  • 25.

    完全性定理とモデル理論 / 田中一之編

    東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)

     図書



  • 26.

    不完全性定理 / ゲーデル著 ; 林晋, 八杉満利子訳・解説

    東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)

     図書



  • 27.

    ゲーデルの20世紀 / 田中一之編

    東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)

     図書



  • 28.

    数学のロジックと集合論 / 田中一之, 鈴木登志雄共著

    東京 : 培風館 , 2003.12

     図書



  • 29.

    フレーゲ入門 : 生涯と哲学の形成 / 野本和幸著

    東京 : 勁草書房 , 2003.9. - (双書エニグマ ; 2)

     図書



  • 30.

    論理と代数の基礎 : 初めて学ぶ人のために / 硲文夫著

    東京 : 培風館 , 2003.6

     図書



  • 31.

    意味論序説 / ルドルフ・カルナップ著 ; 遠藤弘訳

    復刊版. - 東京 : 紀伊國屋書店 , 2003.6

     図書



  • 32.

    数学と論理 / 難波完爾著

    東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23)

     図書



  • 33.

    書簡集 : 付「日記」 / G.フレーゲ著 ; 野本和幸編

    東京 : 勁草書房 , 2002.5. - (フレーゲ著作集 / G.フレーゲ著 ; 6)

     図書



  • 34.

    数学と新しい論理 : 数学的帰納法をめぐって / 本橋信義著

    東京 : 遊星社. - 東京 : 星雲社(発売) , 2002.3

     図書



  • 35.

    心の影 : 意識をめぐる未知の科学を探る / ロジャー・ペンローズ [著] ; 林一訳

    1,2. - 東京 : みすず書房 , 2001.12-2002.4

     図書



  • 36.

    算術の基礎 / G.フレーゲ著 ; 野本和幸, 土屋俊編

    東京 : 勁草書房 , 2001.11. - (フレーゲ著作集 / G.フレーゲ著 ; 2)

     図書



  • 37.

    数学論集 / G.フレーゲ著 ; 野本和幸, 飯田隆編

    東京 : 勁草書房 , 2001.8. - (フレーゲ著作集 / G.フレーゲ著 ; 5)

     図書



  • 38.

    算術の基本法則 / G.フレーゲ著 ; 野本和幸編

    東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)

     図書



  • 39.

    知的エージェントのための集合と論理 / 中島秀之著

    東京 : 共立出版 , 2000.6. - (インターネット時代の数学シリーズ / 戸川隼人 [ほか] 編 ; 6)

     図書



  • 40.

    概念記法 / G.フレーゲ著 ; 藤村龍雄編

    東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)

     図書



  • 41.

    哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編

    東京 : 勁草書房 , 1999.9. - (フレーゲ著作集 / G.フレーゲ著 ; 4)

     図書



  • 42.

    新しい論理序説 / 本橋信義著

    東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)

     図書



  • 43.

    ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳

    東京 : 丸善 , 1996.7

     図書



  • 44.

    知識処理論 / 萩野達也著

    東京 : 産業図書 , 1995.6. - (知識・情報・メディア/シリーズ)

     図書



  • 45.

    記号論理入門 / 金子洋之著

    東京 : 産業図書 , 1994.10. - (哲学教科書シリーズ)

     図書



  • 46.

    論理 / 廣瀬健著

    東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)

     図書



  • 47.

    情報科学における論理 / 小野寛晰著

    東京 : 日本評論社 , 1994.4. - (情報数学セミナー)

     図書



  • 48.

    知識と推論 / 森下真一著

    東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)

     図書



  • 49.

    ソフトウェア科学のための論理学 / 萩谷昌己 [著]

    東京 : 岩波書店 , 1994.1. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)

     図書



  • 50.

    情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著

    東京 : 近代科学社 , 1991.4

     図書



  • ファイル出力
  • 選択した資料の詳細表示
全選択
  • 1
  • 2
CLOSE

絞込項目

CLOSE

図書館サービス

  • 図書新着案内
  • 雑誌最新巻号案内
  • ベストリーディング
  • アクセスランキング

利用者サービス

  • MyLibrary ログイン

関連

  • 図書館
  • 医学分館
  • 医学分館(院内PC専用)
  • 山梨大学
  • リポジトリ
  • 電子ジャーナル

本ホームページは、山梨大学附属図書館がサービスを提供しています。
Copyright © 2020 THE UNIVERSITY OF YAMANASHI LIBRARY All rights reserved.