現代数理論理学入門

• Material Type: 図書
• ISBN: 978-4-320-11318-3
• Title: 現代数理論理学入門
• Title Transcription: ゲンダイ スウリ ロンリガク ニュウモン
• Author/Editor: J.N.クロスリー 他著; 田中尚夫 訳
• Edition: 復刊
• Author Heading: Crossley, John N ( 00436937 )Authorities; 田中, 尚夫, 1928- タナカ, ヒサオ, 1928- ( 00081495 )Authorities
• Publication, Distribution, etc.: 東京 : 共立出版
• Publication Date: 2017.4
• Publication Date (W3CDTF): 2017
• Extent: 185p
• Size: 22cm
• Additional Title: What is Mathematical Logic?
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Original Text Lang. Code: eng
• Subject Heading: 記号論理学 キゴウロンリガク ( 00565709 )Authorities
• NDC 10th ed.: 410.96 : Mathematics
• NDLC: MA41
• Target Audience: 一般
• Note (General): 原タイトル: What is Mathematical Logic?
• Note (Bibliography): 文献あり 索引あり
• Price: 4200円
• Holding library: 国立国会図書館
• Call No.: MA41-L67
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 028075744; http://id.ndl.go.jp/bib/028075744
• National Bibliography No. (JPNO): 22885693
• TOHAN MARC No.: 33590355
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: 大学初年級の数学的思考を経験した人を対象に，現代数理論理学がどのような内容のものかを解説した入門書。『共立全書553.現代数理論理学入門』として1977年初版発行後，以来，長年にわたり多数の読者にご愛読いただいてまいりました。この度，多くの読者からの要望を受けより読みやすいＡ5版に拡大し単行本に改装...

Table of Contents

第1章 歴史的概観

第2章 述語論理の完全性

第3章 モデル理論

第4章 チューリング計算機と帰納的関数

第5章 ゲーデルの不完全性定理