ようこそ  ゲスト さん

鶴見大学OPAC

ヘルプ
入力補助
English
画面クリア
図書館サービス
    • 図書新着案内
    • 雑誌最新巻号案内
    • 雑誌タイトルリスト
    • おすすめ本
    • 企画展
    • 指定図書
利用者サービス
    • 貸出・予約状況照会
    • 文献複写・貸借申込み
    • 文献複写・貸借申込み状況照会
    • 図書購入申込み
    • 図書購入申込み状況照会
    • 学生希望図書リクエスト
    • 学生希望図書リクエスト状況照会
    • メールアドレス登録・変更・削除
    • 共通パスワード変更
  • 鶴見大学図書館
  • 大学HP
  • 鶴見大学
  • CiNii Books
  • CiNii Research
  • IRDB
  • PubMed
  • NDLサーチ
  • その他の検索
    • CiNii Books
    • CiNii Research
    • IRDB
    • PubMed
    • NDLサーチ

蔵書検索

鶴見大学図書館所蔵の資料を検索します。

CiNii Books

他大学所蔵の図書・雑誌を検索します。

CiNii Research

論文情報を検索します。

IRDB

機関リポジトリを検索します。

PubMed

主要な医学系雑誌に掲載された論文を検索します。

NDLサーチ

国立国会図書館をはじめ、公共・大学図書館等様々な機関の所蔵データを検索できます。

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

検索条件

  •  

資料区分

検索オプション

全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
全ての項目:
論文名:
著者名:
刊行物名:
並び順:
一覧表示件数:
全ての項目:
タイトル:
著者名:
雑誌名:
一覧表示件数:
一覧表示件数:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
出版者:
件名:
ISBN:
ISSN:
出版年: –
並び順:
一覧表示件数:
分類検索ヘルプメッセージ(日本語)
  • 日本十進分類

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

検索キーワード:(標準分類: 410.96)

該当件数:29件

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

    コンピュータサイエンスにおける様相論理 / 鹿島亮著

    東京 : 森北出版 , 2022.1

     図書 <1000733414>



  • 2.

    「ならば」騒乱 / 本橋信義著

    東京 : 幻冬舎メディアコンサルティング. - 東京 : 幻冬舎 (発売) , 2018.3

     図書 <1000699111>



  • 3.

    記号論 / 吉田夏彦著

    東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])

     図書 <1000693684>



  • 4.

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

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

     図書 <1000693405>



  • 5.

    証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著

    東京 : 技術評論社 , 2017.2. - (知の扉シリーズ)

     図書 <1000690568>



  • 6.

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

    東京 : 青土社 , 2015.3

     図書 <1000668421>



  • 7.

    論理学入門 / 丹治信春著

    東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])

     図書 <1000660942>



  • 8.

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

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

     図書 <1000645626>



  • 9.

    1と0との物語 / 日野寛三著

    [東京] : 東京図書出版 , 2012.5

     図書 <1000634738>



  • 10.

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

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

     図書 <1000634866>



  • 11.

    日本語から記号論理へ / 齋藤正彦著

    東京 : 日本評論社 , 2010.5

     図書 <1000611834>



  • 12.

    数理論理学 / 鹿島亮著

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

     図書 <1000598656>



  • 13.

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

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

     図書 <1000581437>



  • 14.

    情報科学のための論理分析テクニック / 戸田誠之助著

    東京 : 培風館 , 2007.6

     図書 <1000556629>



  • 15.

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

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

     図書 <1000546254>



  • 16.

    記号論理入門 / 前原昭二著

    : 新装版. - 東京 : 日本評論社 , 2005.12. - (日評数学選書)

     図書 <1000679539>



  • 17.

    ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著

    東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)

     図書 <1000206553>



  • 18.

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

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

     図書 <1000160092>



  • 19.

    応用論理 / 桔梗宏孝著

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

     図書 <1000136491>



  • 20.

    Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček

    Cambridge, England ; New York : Cambridge University Press , 1995. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 60)

     図書 <1000135733>



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

絞込項目

CLOSE

図書館サービス

  • 図書新着案内
  • 雑誌最新巻号案内
  • 雑誌タイトルリスト
  • おすすめ本
  • 企画展
  • 指定図書

利用者サービス

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

関連

  • 鶴見大学図書館
  • 大学HP