スマリヤン数理論理学講義 = Raymond M.Smullyan Lectures on Mathematical Logic. 上巻

• 資料種別: 図書
• ISBN: 978-4-535-78772-8
• タイトル: スマリヤン数理論理学講義
• タイトルよみ: スマリヤン スウリ ロンリガク コウギ
• 巻次・部編番号: 上巻
• 著者・編者: レイモンド・M・スマリヤン 著; 田中一之 監訳; 川辺治之 訳
• 著者標目: Smullyan, Raymond M, 1919-2017 ( 00457034 )典拠; 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )典拠; 川辺, 治之 カワベ, ハルユキ ( 01137123 )典拠
• 出版事項: 東京 : 日本評論社
• 出版年月日等: 2017.9
• 出版年（W3CDTF）: 2017
• 数量: 363p
• 大きさ: 22cm
• 並列タイトル等: Raymond M.Smullyan Lectures on Mathematical Logic
• その他のタイトル: 不完全性定理の理解のために フカンゼンセイ テイリ ノ リカイ ノ タメ ニ; A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 件名標目: 記号論理学 キゴウロンリガク ( 00565709 )典拠
• NDC10版: 410.96 : 数学
• NDLC: MA41
• 対象利用者: 一般
• 一般注記: 原タイトル: A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 4000円
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-L70
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 028486663; http://id.ndl.go.jp/bib/028486663
• 全国書誌番号: 22953453
• トーハンMARC番号: 33659565
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 内容細目: 不完全性定理の理解のために（提供元: 国立国会図書館蔵書）
• 要約等: 論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全2巻。（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 田中一之 東北大学大学院理学研究科川辺治之 日本ユニシス株式会社（提供元: 出版情報登録センター（JPRO））

目次

第I部 一般的な予備知識

第1章 数理論理学の起源

集合論／集合に対するブール演算／ベン図／ブール等式／問題の解答

第2章 無限集合

無限集合の大きさ／カントルの大発見／連続体問題／ベルンシュタイン-シュレーダーの定理／問題の解答