検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます

書誌情報サマリ

書名

スマリヤン数理論理学講義 上巻 不完全性定理の理解のために

著者名 レイモンド・M.スマリヤン／著
著者名ヨミ レイモンド M スマリヤン
出版者 日本評論社
出版年月 2017.9

蔵書情報

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

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

この資料に対する操作

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

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

※この書誌は予約できません。

この資料に対する操作

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

マイ本棚へ追加ログインするとマイ本棚を利用できます。

書誌詳細

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

タイトルコード 1000050069935
書誌種別 図書
書名 スマリヤン数理論理学講義 上巻 不完全性定理の理解のために
書名ヨミ スマリヤン スウリ ロンリガク コウギ フカンゼンセイ テイリ ノ リカイ ノ タメ ニ
著者名 レイモンド・M.スマリヤン／著 　 田中 一之／監訳 　 川辺 治之／訳
著者名ヨミ レイモンド M スマリヤン　タナカ カズユキ　カワベ ハルユキ
出版者 日本評論社
出版年月 2017.9
ページ数・枚数 3,363p
大きさ・形態 22cm
ISBN 978-4-535-78772-8
分類記号 410.96
内容紹介 数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。上巻は、命題論理、一階述語論理などを収録。解説も掲載。
著者紹介 1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。
件名1 記号論理学



目次


内容細目

資料情報

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

No. 所蔵館資料番号請求記号資料種別配架場所帯出区分状態 貸出
1 絵本館2020020632E/VIG/図書児童開架貸出禁止在庫　  ×

関連資料

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

1997
かいけつゾロリのきょうふの大ジャン… かいけつゾロリのきょうふの大ジャン…
原 ゆたか／さく… はらぺこあおむし はらぺこあおむし
エリック・カール… かいけつゾロリのきょうふのカーレー… かいけつゾロリのきょうふのカーレー…
原 ゆたか／さく… やさいのおなか やさいのおなか
きうち かつ／さ… 14ひきのかぼちゃ 14ひきのかぼちゃ
いわむら かずお… かばんうりのガラゴ かばんうりのガラゴ
島田 ゆか／作 … むかし僕が死んだ家 むかし僕が死んだ家
東野 圭吾／[著… バーバパパのたんじょうび バーバパパのたんじょうび
アネット=チゾン… にゃーご にゃーご
宮西 達也／作・… どんなときも名探偵 どんなときも名探偵
杉山 亮／作,中… かいけつゾロリのきょうふのカーレー… かいけつゾロリのきょうふのカーレー…
原 ゆたか／さく… バーバパパのジュースづくり バーバパパのジュースづくり
アネット=チゾン… 眠れる森の美女　オリジナル・サウン… 眠れる森の美女　オリジナル・サウン…
 シンデレラ　オリジナル・サウンドト… シンデレラ　オリジナル・サウンドト…
 バーバパパのふうせんりょこう バーバパパのふうせんりょこう
アネット=チゾン… でんしゃにのって でんしゃにのって
とよた かずひこ… ぐりとぐらの1ねんかん ぐりとぐらの1ねんかん
なかがわ りえこ… ぐりとぐらの1ねんかん ぐりとぐらの1ねんかん
なかがわ りえこ… バーバパパののみたいじ バーバパパののみたいじ
アネット=チゾン… 十二支のはじまり 十二支のはじまり
岩崎 京子／文,… バーバパパのアフリカいき バーバパパのアフリカいき
アネット=チゾン… バーバパパのしんじゅとり バーバパパのしんじゅとり
アネット=チゾン… バーバパパのクリスマス バーバパパのクリスマス
アネット=チゾン… バーバパパのおんがくかい バーバパパのおんがくかい
アネット=チゾン… ちからたろう ちからたろう
いまえ よしとも… かいけつゾロリのきょうふの大ジャン… かいけつゾロリのきょうふの大ジャン…
原 ゆたか／さく… バーバパパうみにでる バーバパパうみにでる
アネット=チゾン… バーバパパのすいしゃごや バーバパパのすいしゃごや
アネット=チゾン… たなばたプールびらき たなばたプールびらき
中川 ひろたか／… ねむいねむいねずみのあまやどり ねむいねむいねずみのあまやどり
佐々木 マキ／[… わんぱくだんのゆきまつり わんぱくだんのゆきまつり
ゆきの ゆみこ／… なぞなぞライオン なぞなぞライオン
佐々木 マキ／作 ますだくんとまいごのみほちゃん ますだくんとまいごのみほちゃん
武田 美穂／作・… できるかな?　：　あたまからつまさ… できるかな?　：　あたまからつまさ…
エリック・カール… まめうし まめうし
あきやま ただし… 恐竜トリケラトプスジュラ紀にいく　… 恐竜トリケラトプスジュラ紀にいく　…
黒川 みつひろ／… ばばばあちゃんのマフラー ばばばあちゃんのマフラー
さとう わきこ／… もちつきぺったん もちつきぺったん
きむら ゆういち… おっとっと おっとっと
とよた かずひこ… もののけ姫下 もののけ姫下
宮崎 駿／原作・… もののけ姫上 もののけ姫上
宮崎 駿／原作・… にじいろのさかなしましまをたすける… にじいろのさかなしましまをたすける…
マーカス・フィス… 一年生になるんだもん 一年生になるんだもん
角野 栄子／文,… 虹を操る少年 虹を操る少年
東野 圭吾／[著… はなすもんかー! はなすもんかー!
宮西 達也／作・… 帰ってきたおとうさんはウルトラマン 帰ってきたおとうさんはウルトラマン
みやにし たつや… ぞくぞく村のがいこつガチャさん ぞくぞく村のがいこつガチャさん
末吉 暁子／作,… こおったポケット こおったポケット
寺村 輝夫／作,… 震える岩 震える岩
宮部 みゆき／[… 淋しい狩人 淋しい狩人
宮部 みゆき／著
E
あっゴジラ あっゴジラ
キューライス／作 わたしのちいさないきものえん わたしのちいさないきものえん
大島 加奈子／さ… アンパンマンとえんぴつじま アンパンマンとえんぴつじま
やなせ たかし／… 100このたまご 100このたまご
ももろ／作 ねんねんよう ねんねんよう
神沢 利子／ぶん… ライオンのあしたのいちにち ライオンのあしたのいちにち
あべ 弘士／作 ひゃくにんのおとうさん ひゃくにんのおとうさん
譚 小勇／文,天… カッパーナ カッパーナ
森くま堂／文,い… だいじょうぶ?ズコッ だいじょうぶ?ズコッ
鈴木 翼／文,カ… トマト トマト
いまい まみ／ぶ… くだものらららん くだものらららん
金内 織恵／作 ねずくんとママのおおげんか ねずくんとママのおおげんか
とね さとえ／作… うみのそこでかくれんぼ　：　探して… うみのそこでかくれんぼ　：　探して…
紀平 任益／著 オズのまほうつかい オズのまほうつかい
L.フランク・ボ… なぎちゃんがなんでにんじんのこした… なぎちゃんがなんでにんじんのこした…
ネコリ・ハコリ／… とんとんみーときじむなー とんとんみーときじむなー
田島 征彦／[作… けんちくってたのしい!　：　たても… けんちくってたのしい!　：　たても…
隈 研吾／監修,… のうふさんの恋わずらい　：　どうぶ… のうふさんの恋わずらい　：　どうぶ…
ピム・ラマース／… ほんやくすると ほんやくすると
斉藤 倫／文,う… 蛸壺八兵衛壺をかう 蛸壺八兵衛壺をかう
まつむら まい／… こかげにごろり　：　韓国・朝鮮の昔… こかげにごろり　：　韓国・朝鮮の昔…
金森 襄作／再話… おばけのトッケビ　：　韓国・朝鮮の… おばけのトッケビ　：　韓国・朝鮮の…
金森 襄作／再話… おおぐいひょうたん　：　西アフリカ… おおぐいひょうたん　：　西アフリカ…
吉沢 葉子／再話… おおきなカエルティダリク　：　オー… おおきなカエルティダリク　：　オー…
加藤 チャコ／再… ぼく、だ〜れ? ぼく、だ〜れ?
ばばかな／文,宮… おかあさんなんてだいきらい! おかあさんなんてだいきらい!
来須 みかん／文… こども園のカメくん こども園のカメくん
こしみず よねこ… 花売りセンパチュンチュン　：　ネパ… 花売りセンパチュンチュン　：　ネパ…
茂市 久美子／文… あと2時間で新年です　：　ちょうの… あと2時間で新年です　：　ちょうの…
ファルハード・ハ… ごはん ごはん
いまい まみ／ぶ… 大ピンチずかん3 大ピンチずかん3
鈴木 のりたけ／… おんぷちゃんとふみきり おんぷちゃんとふみきり
とよた かずひこ… ファンが悪魔をつかまえた　：　メキ… ファンが悪魔をつかまえた　：　メキ…
やなぎや けいこ… はじめてのかり はじめてのかり
オノン・ウルグン… サルとトラ　：　ラオス・モン族の民… サルとトラ　：　ラオス・モン族の民…
ヤン・サン／再話… ベランダでわたをつくったよ　：　そ… ベランダでわたをつくったよ　：　そ…
あおき あさみ／… ぷ ぷ
たなか ひかる／… まてないの まてないの
ヨシタケ シンス… じゃばじゃじゃーん じゃばじゃじゃーん
柿木原 政広／作 ももんちゃんあっぷっぷっ ももんちゃんあっぷっぷっ
とよた かずひこ… いぬのずかん いぬのずかん
大森 裕子／作,… にじ にじ
荒木 健太郎／文… なんじなんぷんなんのじかん? なんじなんぷんなんのじかん?
きど まや／作・… まってまっておうちくも まってまっておうちくも
稲垣 あきら／さ… しゃっくりガイコツ しゃっくりガイコツ
マージェリー・カ… くらべるえほん いきもの くらべるえほん いきもの
ちかつ たけお／… 1だけかぞえるえほん　：　1よりお… 1だけかぞえるえほん　：　1よりお…
カスパー・サーモ… 20ぴきのピクニック 20ぴきのピクニック
たしろ ちさと／… おこじょへのてがみ おこじょへのてがみ
カイズ ケン／作 ダンゴムシのいる庭 ダンゴムシのいる庭
大野 八生／作
洋書－絵本－英語
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。