山の手図書館は大規模改修のため、令和7年9月1日から令和8年1月31日（予定）まで臨時休館します。
 最新の情報は図書館ホームページでご確認ください。

検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

公理と証明　証明論への招待　　ちくま学芸文庫　　

著者名 彌永 昌吉／著 　 赤 攝也／著
出版者 筑摩書房
出版年月 2012.9

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

マイ本棚へ追加ログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0119050888410.9/ｲ/１階文庫91一般図書一般貸出在庫　  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2012
【聖女の救済】 聖女の救済
東野 圭吾／著 【へんしんおんせん】 へんしんおんせん
あきやま ただし… 【しろくまのパンツ】 しろくまのパンツ
tupera t… 【かいけつゾロリなぞのスパイとチョコ…】 かいけつゾロリなぞのスパイとチョコ…
原 ゆたか／さく… 【どんぐりむらのおまわりさん】 どんぐりむらのおまわりさん
なかや みわ／さ… 【かいけつゾロリのメカメカ大さくせん】 かいけつゾロリのメカメカ大さくせん
原 ゆたか／さく… 【オニじゃないよおにぎりだよ】 オニじゃないよおにぎりだよ
シゲタ サヤカ／… 【おしりたんてい】 おしりたんてい
トロル／さく・え 【アンパンマンとザジズゼゾウ】 アンパンマンとザジズゼゾウ
やなせ たかし／… 【ツナグ】 ツナグ
辻村 深月／著 【ロボット世界のサバイバル　：　生…1】 ロボット世界のサバイバル　：　生…1
金 政郁／文,韓… 【ピヨピヨハッピーバースデー】 ピヨピヨハッピーバースデー
工藤 ノリコ／著 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【おばけのマールとおかしなとけいだい】 おばけのマールとおかしなとけいだい
なかい れい／え… 【深海のサバイバル　：　生き残り作戦】 深海のサバイバル　：　生き残り作戦
ゴムドリco.／… 【よろしくともだち】 よろしくともだち
内田 麟太郎／作… 【贖罪】 贖罪
湊 かなえ／著 【おしりをしりたい】 おしりをしりたい
鈴木 のりたけ／… 【プラチナデータ】 プラチナデータ
東野 圭吾／[著… 【少女】 少女
湊 かなえ／著 【凍原　：　北海道警釧路方面本部刑事…】 凍原　：　北海道警釧路方面本部刑事…
桜木 紫乃／著 【氷平線】 氷平線
桜木 紫乃／著 【ナミヤ雑貨店の奇蹟】 ナミヤ雑貨店の奇蹟
東野 圭吾／著 【ペネロペおねえさんになる】 ペネロペおねえさんになる
アン・グットマン… 【おべんとう】 おべんとう
小西 英子／さく 【ノラネコぐんだんパンこうじょう】 ノラネコぐんだんパンこうじょう
工藤 ノリコ／著 【禁断の魔術】 禁断の魔術
東野 圭吾／著 【チャレンジミッケ!9】 チャレンジミッケ!9
ウォルター・ウィ… 【おいもさんがね…】 おいもさんがね…
とよた かずひこ… 【極寒のサバイバル　：　生き残り作戦】 極寒のサバイバル　：　生き残り作戦
洪 在徹／文,鄭… 【往復書簡】 往復書簡
湊 かなえ／[著… 【ずっとずっといっしょだよ】 ずっとずっといっしょだよ
宮西 達也／作絵 【うそついちゃったねずみくん】 うそついちゃったねずみくん
なかえ よしを／… 【そらのたび】 そらのたび
工藤 ノリコ／[… 【夏天の虹】 夏天の虹
高田 郁／著 【がたんごとんがたんごとんざぶんざぶ…】 がたんごとんがたんごとんざぶんざぶ…
安西 水丸／さく 【物語の迷路　：　アンデルセンから宮…】 物語の迷路　：　アンデルセンから宮…
香川 元太郎／作… 【はむ・はたる　：　連作時代小説】 はむ・はたる　：　連作時代小説
西條 奈加／著 【どうぶつえんのおふろやさん】 どうぶつえんのおふろやさん
とよた かずひこ… 【まわるおすし】 まわるおすし
長谷川 義史／作 【ちいさなちいさなまほうのおしろ】 ちいさなちいさなまほうのおしろ
さかい さちえ／… 【自然史ミュージアムのサバイバル　…2】 自然史ミュージアムのサバイバル　…2
ゴムドリco.／… 【和菓子のアン】 和菓子のアン
坂木 司／著 【名探偵コナン理科ファイル太陽と月の…】 名探偵コナン理科ファイル太陽と月の…
青山 剛昌／原作… 【ルルとララのしらたまデザート】 ルルとララのしらたまデザート
あんびる やすこ… 【短編工場】 短編工場
集英社文庫編集部… 【自然史ミュージアムのサバイバル　…1】 自然史ミュージアムのサバイバル　…1
ゴムドリco.／… 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著 【ぱたぱたももんちゃん】 ぱたぱたももんちゃん
とよた かずひこ… 【ねこざかなのすいか】 ねこざかなのすいか
わたなべ ゆうい…
2012
【聖女の救済】 聖女の救済
東野 圭吾／著 【へんしんおんせん】 へんしんおんせん
あきやま ただし… 【しろくまのパンツ】 しろくまのパンツ
tupera t… 【かいけつゾロリなぞのスパイとチョコ…】 かいけつゾロリなぞのスパイとチョコ…
原 ゆたか／さく… 【どんぐりむらのおまわりさん】 どんぐりむらのおまわりさん
なかや みわ／さ… 【かいけつゾロリのメカメカ大さくせん】 かいけつゾロリのメカメカ大さくせん
原 ゆたか／さく… 【オニじゃないよおにぎりだよ】 オニじゃないよおにぎりだよ
シゲタ サヤカ／… 【おしりたんてい】 おしりたんてい
トロル／さく・え 【アンパンマンとザジズゼゾウ】 アンパンマンとザジズゼゾウ
やなせ たかし／… 【ツナグ】 ツナグ
辻村 深月／著 【ロボット世界のサバイバル　：　生…1】 ロボット世界のサバイバル　：　生…1
金 政郁／文,韓… 【ピヨピヨハッピーバースデー】 ピヨピヨハッピーバースデー
工藤 ノリコ／著 【虚像の道化師】 虚像の道化師
東野 圭吾／著 【おばけのマールとおかしなとけいだい】 おばけのマールとおかしなとけいだい
なかい れい／え… 【深海のサバイバル　：　生き残り作戦】 深海のサバイバル　：　生き残り作戦
ゴムドリco.／… 【よろしくともだち】 よろしくともだち
内田 麟太郎／作… 【贖罪】 贖罪
湊 かなえ／著 【おしりをしりたい】 おしりをしりたい
鈴木 のりたけ／… 【プラチナデータ】 プラチナデータ
東野 圭吾／[著… 【少女】 少女
湊 かなえ／著 【凍原　：　北海道警釧路方面本部刑事…】 凍原　：　北海道警釧路方面本部刑事…
桜木 紫乃／著 【氷平線】 氷平線
桜木 紫乃／著 【ナミヤ雑貨店の奇蹟】 ナミヤ雑貨店の奇蹟
東野 圭吾／著 【ペネロペおねえさんになる】 ペネロペおねえさんになる
アン・グットマン… 【おべんとう】 おべんとう
小西 英子／さく 【ノラネコぐんだんパンこうじょう】 ノラネコぐんだんパンこうじょう
工藤 ノリコ／著 【禁断の魔術】 禁断の魔術
東野 圭吾／著 【チャレンジミッケ!9】 チャレンジミッケ!9
ウォルター・ウィ… 【おいもさんがね…】 おいもさんがね…
とよた かずひこ… 【極寒のサバイバル　：　生き残り作戦】 極寒のサバイバル　：　生き残り作戦
洪 在徹／文,鄭… 【往復書簡】 往復書簡
湊 かなえ／[著… 【ずっとずっといっしょだよ】 ずっとずっといっしょだよ
宮西 達也／作絵 【うそついちゃったねずみくん】 うそついちゃったねずみくん
なかえ よしを／… 【そらのたび】 そらのたび
工藤 ノリコ／[… 【夏天の虹】 夏天の虹
高田 郁／著 【がたんごとんがたんごとんざぶんざぶ…】 がたんごとんがたんごとんざぶんざぶ…
安西 水丸／さく 【物語の迷路　：　アンデルセンから宮…】 物語の迷路　：　アンデルセンから宮…
香川 元太郎／作… 【はむ・はたる　：　連作時代小説】 はむ・はたる　：　連作時代小説
西條 奈加／著 【どうぶつえんのおふろやさん】 どうぶつえんのおふろやさん
とよた かずひこ… 【まわるおすし】 まわるおすし
長谷川 義史／作 【ちいさなちいさなまほうのおしろ】 ちいさなちいさなまほうのおしろ
さかい さちえ／… 【自然史ミュージアムのサバイバル　…2】 自然史ミュージアムのサバイバル　…2
ゴムドリco.／… 【和菓子のアン】 和菓子のアン
坂木 司／著 【名探偵コナン理科ファイル太陽と月の…】 名探偵コナン理科ファイル太陽と月の…
青山 剛昌／原作… 【ルルとララのしらたまデザート】 ルルとララのしらたまデザート
あんびる やすこ… 【短編工場】 短編工場
集英社文庫編集部… 【自然史ミュージアムのサバイバル　…1】 自然史ミュージアムのサバイバル　…1
ゴムドリco.／… 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著 【ぱたぱたももんちゃん】 ぱたぱたももんちゃん
とよた かずひこ… 【ねこざかなのすいか】 ねこざかなのすいか
わたなべ ゆうい…
786.1　786.1
【…2026年 2月号 通巻1101号】 …2026年 2月号 通巻1101号
 【…2026年 1月号 通巻1100号】 …2026年 1月号 通巻1100号
 【…2025年12月号 通巻1099号】 …2025年12月号 通巻1099号
 【凪の人 山野井妙子】 凪の人 山野井妙子
柏 澄子／著 【山のリスクマネジメント】 山のリスクマネジメント
山と溪谷社／編 【…2025年11月号 通巻1098号】 …2025年11月号 通巻1098号
 【…2025年10月号 通巻1097号】 …2025年10月号 通巻1097号
 【親切すぎる登山最新入門+内臓脂肪の…】 親切すぎる登山最新入門+内臓脂肪の…
 【山の仲間と七十年　：　秀岳荘創業7…】 山の仲間と七十年　：　秀岳荘創業7…
 【…2025年 9月号 通巻1096号】 …2025年 9月号 通巻1096号
 【…2025年 8月号 通巻1095号】 …2025年 8月号 通巻1095号
 【人生、山あり“時々”谷あり】 人生、山あり“時々”谷あり
田部井 淳子／著 【…2025年 7月号 通巻1094号】 …2025年 7月号 通巻1094号
 【低山からはじめるソロハイク超入門】 低山からはじめるソロハイク超入門
大内 征／著,小… 【道標 　：　北海…1955-2025】 道標 　：　北海…1955-2025
北海道大学ワンダ… 【…2025年 6月号 通巻1092号】 …2025年 6月号 通巻1092号
 【私、山小屋はじめます】 私、山小屋はじめます
小宮山 花／著 【…2025年 5月号 通巻1091号】 …2025年 5月号 通巻1091号
 【山に登るなら知っておきたい山の気象…】 山に登るなら知っておきたい山の気象…
矢野 政人／監修 【…2025年 4月号 通巻1089号】 …2025年 4月号 通巻1089号
 【山と高原地図ではじめる山登り入門ガ…】 山と高原地図ではじめる山登り入門ガ…
 【フラット登山　：　歩くを楽しむ、自…】 フラット登山　：　歩くを楽しむ、自…
佐々木 俊尚／著 【雲上の時をつなぐ…2015-2024】 雲上の時をつなぐ…2015-2024
 【…2025年 3月号 通巻1088号】 …2025年 3月号 通巻1088号
 【黒部源流山小屋料理人】 黒部源流山小屋料理人
やまと けいこ／… 【釈由美子の山の常識110の疑問　：…】 釈由美子の山の常識110の疑問　：…
釈 由美子／著,… 【黒部源流山小屋料理人】 黒部源流山小屋料理人
やまと けいこ／… 【…2025年 2月号 通巻1087号】 …2025年 2月号 通巻1087号
 【クライミング・マインド　：　山への…】 クライミング・マインド　：　山への…
ロバート・マクフ… 【…2025年 1月号 通巻1086号】 …2025年 1月号 通巻1086号
 【にっぽん百低山　：　北海道・東北編…】 にっぽん百低山　：　北海道・東北編…
吉田 類／出演,… 【光輝燦然　：　大雪山を”掘った”山…】 光輝燦然　：　大雪山を”掘った”山…
[清水敏一追悼集… 【…2024年12月号 通巻1085号】 …2024年12月号 通巻1085号
 【…2024年 第119年通巻177号】 …2024年 第119年通巻177号
 【…2024年11月号 通巻1084号】 …2024年11月号 通巻1084号
 【今夜も焚き火をみつめながら　：　サ…】 今夜も焚き火をみつめながら　：　サ…
服部 文祥／著 【豪雪と強風の贈り物】 豪雪と強風の贈り物
田村 正／著 【…2024年10月号 通巻1083号】 …2024年10月号 通巻1083号
 【想い出の山岳紀行　：　北海道、スイ…】 想い出の山岳紀行　：　北海道、スイ…
高谷 嘉浩／著 【にっぽん百低山　：　北海道・東北編…】 にっぽん百低山　：　北海道・東北編…
吉田 類／出演,… 【読図の基本がわかる本　：　紙地図+…】 読図の基本がわかる本　：　紙地図+…
水野 隆信／著 【…2024年 9月号 通巻1082号】 …2024年 9月号 通巻1082号
 【日本列島スケッチ旅　：　礼文･利尻…】 日本列島スケッチ旅　：　礼文･利尻…
深谷 健雄／画・… 【…2024年 8月号 通巻1081号】 …2024年 8月号 通巻1081号
 【41人の嵐　：　台風10号と両俣小…】 41人の嵐　：　台風10号と両俣小…
桂木 優／著 【シェルパ斉藤の山小屋24時間滞在記】 シェルパ斉藤の山小屋24時間滞在記
斉藤 政喜／文・… 【萩原編集長の山塾2】 萩原編集長の山塾2
萩原 浩司／著 【シェルパ斉藤の山小屋24時間滞在記】 シェルパ斉藤の山小屋24時間滞在記
斉藤 政喜／文・… 【…2024年 7月号 通巻1080号】 …2024年 7月号 通巻1080号
 【…2024年 6月号 通巻1078号】 …2024年 6月号 通巻1078号

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1008000577775
書誌種別 図書
書名 公理と証明　証明論への招待　　ちくま学芸文庫　　
書名ヨミ コウリ ト ショウメイ　
著者名 彌永 昌吉／著
著者名ヨミ イヤナガ ショウキチ
著者名 赤 攝也／著
著者名ヨミ セキ セツヤ
出版者 筑摩書房
出版年月 2012.9
ページ数 184p
大きさ 15cm
分類記号 410.9
分類記号 410.9
ISBN 4-480-09481-0
内容紹介 公理とは、証明とは何か? あらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説する。
件名 数学基礎論、証明(数学)
言語区分 日本語

(他の紹介)内容紹介 真珠湾、広島の人々の生きざまを描写し、その時何があったかを私たちに突きつける、４１の物語―。
(他の紹介)著者紹介 ローリー，ロイス
　１９３７年ハワイ生まれの児童文学作家。アメリカ陸軍の歯科医だった父について各地を転々とし、１１歳から１３歳までを日本で過ごした。現在はメイン州在住。１９９０年に『ふたりの星（Ｎｕｍｂｅｒ　ｔｈｅ　Ｓｔａｒｓ）』（童話館出版）、１９９４年に『ギヴァー　記憶を注ぐ者（Ｔｈｅ　Ｇｉｖｅｒ）』（新評論）で、ニューベリー賞を２度受賞する(本データはこの書籍が刊行された当時に掲載されていたものです)
パーク，ケナード
　アートディレクター、画家。ドリームワークスやウォルト・ディズニー・アニメーション・スタジオ等で仕事をし、多くの絵本を描く。『Ｇｏｏｄｂｙｅ　Ａｕｔｕｍｎ，Ｈｅｌｌｏ　Ｗｉｎｔｅｒ』でゴールデン・カイト賞を受賞(本データはこの書籍が刊行された当時に掲載されていたものです)
田中 奈津子
　翻訳家。東京都生まれ。東京外国語大学英米語学科卒。『はるかなるアフガニスタン』が第５９回青少年読書感想文全国コンクール課題図書に、『アラスカの小さな家族　バラードクリークのボー』と『わたしのアメリカンドリーム』が厚生労働省社会保障審議会推薦児童福祉文化財に選ばれている(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ
ページの先頭へ 図書館トップへ

本文はここまでです。

ページの終わりです。