山の手図書館は大規模改修のため、令和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.／… 【鍵のない夢を見る】 鍵のない夢を見る
辻村 深月／著 【ぱたぱたももんちゃん】 ぱたぱたももんちゃん
とよた かずひこ… 【ねこざかなのすいか】 ねこざかなのすいか
わたなべ ゆうい…
913.6　913.6
【小…2026年 2月号 通巻981号】 小…2026年 2月号 通巻981号
 【小説…2026年 2月号 40巻2号】 小説…2026年 2月号 40巻2号
 【S…2026年 2月号 No.773】 S…2026年 2月号 No.773
 【…2026年 1&2月号 63巻1号】 …2026年 1&2月号 63巻1号
 【オール讀物　2026年 1・2月号…】 オール讀物　2026年 1・2月号…
 【小…2026年 1月号 通巻111号】 小…2026年 1月号 通巻111号
 【小…2026年 1月号 通巻980号】 小…2026年 1月号 通巻980号
 【小説…2026年 1月号 40巻1号】 小説…2026年 1月号 40巻1号
 【ミ…2026年 1月号 通巻772号】 ミ…2026年 1月号 通巻772号
 【一文字助真　：　文庫書下ろし/長編…】 一文字助真　：　文庫書下ろし/長編…
佐伯 泰英／著 【北極星をえがく】 北極星をえがく
岩井 圭也／著,… 【めじろ鳴く　：　佐伯泰英時代小説短…】 めじろ鳴く　：　佐伯泰英時代小説短…
佐伯 泰英／著 【スノウマンの葬列　：　真々部律香の…】 スノウマンの葬列　：　真々部律香の…
麻根 重次／[著… 【カンザキさん】 カンザキさん
ピンク地底人3号… 【おばけのソッチ キャン・キャン・キ…】 おばけのソッチ キャン・キャン・キ…
角野 栄子／さく… 【おまあ推理帖】 おまあ推理帖
諸田 玲子／著 【本日ノ亡者娑婆ノ縁尽キテ】 本日ノ亡者娑婆ノ縁尽キテ
津田 美幸／著 【月白】 月白
宇佐美 まこと／… 【甘蔓情話】 甘蔓情話
山本 一力／著 【デラシネ　：　放浪捜…「霧の樹海」篇】 デラシネ　：　放浪捜…「霧の樹海」篇
梶永 正史／著 【おにのやくそく】 おにのやくそく
やまだ ともこ／… 【54字の物語呪　：　意味がわかると…】 54字の物語呪　：　意味がわかると…
氏田 雄介／作,… 【小説トリッパー　2025年WINT…】 小説トリッパー　2025年WINT…
 【小…2025年12月号 通巻110号】 小…2025年12月号 通巻110号
 【小…2025年12月号 通巻979号】 小…2025年12月号 通巻979号
 【オール讀物　2025年11・12月…】 オール讀物　2025年11・12月…
 【小…2025年12月号 39巻12号】 小…2025年12月号 39巻12号
 【小説…2025年12月号 62巻9号】 小説…2025年12月号 62巻9号
 【S…2025年12月号 No.772】 S…2025年12月号 No.772
 【日ノ本一のおせち】 日ノ本一のおせち
和田 はつ子／著 【成瀬は都を駆け抜ける】 成瀬は都を駆け抜ける
宮島 未奈／著 【関ケ原仁義下】 関ケ原仁義下
井原 忠政／著 【怨嗟の回廊　：　警視庁特殊事件対策…】 怨嗟の回廊　：　警視庁特殊事件対策…
堂場 瞬一／著 【キノコにご用心】 キノコにご用心
山口 恵以子／著 【月の目と赤耳　：　老人ホーム…青春編】 月の目と赤耳　：　老人ホーム…青春編
木村 桂子／作,… 【お梅は魔法少女ごと呪いたい】 お梅は魔法少女ごと呪いたい
藤崎 翔／著 【京都くれなゐ荘奇譚6】 京都くれなゐ荘奇譚6
白川 紺子／著 【あらたな門出】 あらたな門出
宮本 紀子／著 【満月珈琲店の星詠み[7]】 満月珈琲店の星詠み[7]
望月 麻衣／著,… 【コンビニ兄弟　：　テンダネス門司…5】 コンビニ兄弟　：　テンダネス門司…5
町田 そのこ／著 【想いをつなぐメス】 想いをつなぐメス
中山 祐次郎／著 【晴れの日の木馬たち】 晴れの日の木馬たち
原田 マハ／著 【おやすみ処にしさわ商店　：　信州善…】 おやすみ処にしさわ商店　：　信州善…
長月 天音／著 【娘心中】 娘心中
坂井 希久子／著 【幕末神妙記1】 幕末神妙記1
知野 みさき／[… 【針ざむらい　：　書き下ろし長編時代…】 針ざむらい　：　書き下ろし長編時代…
横山 起也／著 【ちとせ】 ちとせ
高野 知宙／著 【虚無の砦　：　新・特命捜査対策室九…】 虚無の砦　：　新・特命捜査対策室九…
渡辺 裕之／著 【マリエ】 マリエ
千早 茜／著 【新しい花が咲く　：　ぼんぼん彩句】 新しい花が咲く　：　ぼんぼん彩句
宮部 みゆき／著

書誌詳細

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

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

(他の紹介)内容紹介 ゴールデンウィーク明けのある朝、出勤した警視庁捜査一課・碓氷警部補の元に都内で起こった二件の自殺と二件の殺人の報が入る。発生時刻はすべて同じ日の午後十一時だった。関連性を疑う第五係は、田端捜査一課長の特命を受けて捜査を開始する。その後、さらに同日同時刻に都内で盗撮・強姦未遂等あわせて三件の事件が起こっていたことが判明。一見関連性がないように見える各事件は、実は意外な共通点で繋がっていた―。知力を駆使して、同時多発事件の謎を解け。藤森紗英心理調査官、再び！
(他の紹介)著者紹介 今野 敏
　１９５５年、北海道三笠市生まれ。７８年「怪物が街にやってくる」で問題小説新人賞を受賞しデビュー。以後旺盛な創作活動を続け、執筆範囲は警察・サスペンス・アクション・伝奇・ＳＦ小説など幅広い。２００６年『隠蔽捜査』で吉川英治文学新人賞、０８年には『果断　隠蔽捜査２』で山本周五郎賞と日本推理作家協会賞をダブル受賞した。空手の源流を追求する、「空手道今野塾」を主宰する(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

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

本文はここまでです。

ページの終わりです。