図書
書影

数理論理学 (現代基礎数学 ; 15)

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

数理論理学

(現代基礎数学 ; 15)

国立国会図書館請求記号
MA41-J25
国立国会図書館書誌ID
000010592652
資料種別
図書
著者
鹿島亮 著
出版者
朝倉書店
出版年
2009.10
資料形態
ページ数・大きさ等
210p ; 21cm
NDC
410.96
すべて見る

資料に関する注記

一般注記:

シリーズの編者: 新井仁之, 小島定吉, 清水勇二, 渡辺治

資料詳細

要約等:

数理論理学の基本結果をわかりやすく正確に説明しながら,その意義や気持ちを伝える入門書。(提供元: 出版情報登録センター(JPRO))

著者紹介:

鹿島 亮 東工大(提供元: 出版情報登録センター(JPRO))

書店で探す

目次

  • 1. 証明を対象にするとは

  • 1.1 証明の実例

  • 1.2 証明における言葉遣い

  • 1.3 証明の前提と結論

  • 1.4 証明の本質の抽出

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • 東京工業大学リサーチリポジトリ

    連携先のサイトで、学術機関リポジトリデータベース(IRDB)(機関リポジトリ)が連携している機関・データベースの所蔵状況を確認できます。
  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
978-4-254-11765-3
タイトル
タイトルよみ
スウリ ロンリガク
著者・編者
鹿島亮 著
シリーズタイトル
著者標目
鹿島, 亮 カシマ, リョウ ( 00541947 )典拠
新井, 仁之, 1959- アライ, ヒトシ, 1959- ( 00851752 )典拠
小島, 定吉, 1952- コジマ, サダヨシ, 1952- ( 00328991 )典拠
清水, 勇二, 1958- シミズ, ユウジ, 1958- ( 00753925 )典拠
出版年月日等
2009.10
出版年(W3CDTF)
2009