ようこそ  ゲスト さん

和歌山大学OPAC

ヘルプ
入力補助
English
TOP
タイトルリスト
    • 図書新着案内
    • 雑誌新着巻号案内
    • 雑誌タイトルリスト
    • AV資料タイトルリスト
    • シラバス掲載図書
    • 教員推薦図書
    • 貸出ランキング
    • アクセスランキング
    • 教員推薦コメント
利用者サービス
    • 貸出・予約状況照会
    • 文献複写・貸借申込み
    • 文献複写・貸借申込み状況照会
    • 学生希望図書リクエスト
    • 学生希望図書リクエスト状況照会
    • メールアドレス登録・変更・削除
  • 電子リソースポータル
  • データベース
  • 図書館
  • 和歌山大学
  • 和歌山大学
  • CiNii Books
  • NDLサーチ
  • CiNii Articles
  • IRDB
  • その他の検索
    • CiNii Books
    • NDLサーチ
    • CiNii Articles
    • IRDB

蔵書検索

和歌山大学が所蔵している図書や雑誌(電子ブック・電子ジャーナル含む)を検索します。

CiNii Books

日本の大学図書館が所蔵している図書や雑誌を検索できます。

NDLサーチ

国立国会図書館が所蔵している図書や雑誌などを検索できます。

CiNii Articles

日本語の雑誌記事・学術論文を検索できます。

IRDB

IRDBを検索します。

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

検索条件

  •  

資料区分

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
一覧表示件数:
全ての項目:
タイトル:
著者名:
出版者:
ISBN:
一覧表示件数:
全ての項目:
論文名:
著者名:
刊行物名:
一覧表示件数:
全ての項目:
タイトル:
著者名:
雑誌名:
一覧表示件数:
» 絞込条件

検索結果

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

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

該当件数:74件

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

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

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

     図書



  • 2.

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

    東京 : 森北出版 , 2016.1

     図書



  • 3.

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

    東京 : 日本評論社 , 2014.8

     図書



  • 4.

    論理哲学論考 / ヴィトゲンシュタイン著 ; 丘沢静也訳

    東京 : 光文社 , 2014.1 . -  (光文社古典新訳文庫 ; [KBウ1-1])

     図書



  • 5.

    記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著

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

     図書



  • 6.

    数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著

    東京 : NHK出版 , 2012.12 . -  (NHK出版新書 ; 394)

     図書



  • 7.

    数理論理学の基礎・基本 / 坪井明人著

    東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3 . -  (理工系数学の基礎・基本 ; 13)

     図書



  • 8.

    数理論理学序説 / 前原昭二著

    復刊. - 東京 : 共立出版 , 2010.9

     図書



  • 9.

    現代数理論理学序説 / 古森雄一, 小野寛晰著

    東京 : 日本評論社 , 2010.6

     図書



  • 10.

    数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著

    東京 : 内田老鶴圃 , 2010.5

     図書



  • 11.

    数理論理学 / 鹿島亮著

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

     図書



  • 12.

    ろんりと集合 / 中内伸光著

    東京 : 日本評論社 , 2009.9

     図書



  • 13.

    ε (エプシロン) -δ (デルタ) に泣く / 石谷茂著

    京都 : 現代数学社 , 2006.11 . -  (数学の盲点とその解明)

     図書



  • 14.

    ∀ (すべて) と∃ (存在) に泣く / 石谷茂著

    新版. - 京都 : 現代数学社 , 2006.11 . -  (数学の盲点とその解明)

     図書



  • 15.

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

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

     図書



  • 16.

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

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

     図書



  • 17.

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

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

     図書



  • 18.

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

    東京 : 培風館 , 2003.6

     図書



  • 19.

    数学と論理 / 難波完爾著

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

     図書



  • 20.

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

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

     図書



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

絞込項目

CLOSE

タイトルリスト

  • 図書新着案内
  • 雑誌新着巻号案内
  • 雑誌タイトルリスト
  • AV資料タイトルリスト
  • シラバス掲載図書
  • 教員推薦図書
  • 貸出ランキング
  • アクセスランキング
  • 教員推薦コメント

利用者サービス

  • 貸出・予約状況照会
  • 文献複写・貸借申込み
  • 文献複写・貸借申込み状況照会
  • 学生希望図書リクエスト
  • 学生希望図書リクエスト状況照会
  • メールアドレス登録・変更・削除

関連

  • 電子リソースポータル
  • データベース
  • 図書館
  • 和歌山大学

©2018 Wakayama University Library