山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

• Material Type: 図書
• ISBN: 978-4-535-78913-5
• Title: 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
• Title Transcription: ヤマ ノ ウエ ノ ロジック ガクエン : フカンゼンセイ テイリ オ メグル ニシュウカン ノ ジュギョウ ニッシ
• Author/Editor: 田中一之 著; バラマツヒトミ 絵
• Author Heading: 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )Authorities; バラマツ, ヒトミ バラマツ, ヒトミ ( 01159150 )Authorities
• Publication, Distribution, etc.: 東京 : 日本評論社
• Publication Date: 2019.12
• Publication Date (W3CDTF): 2019
• Extent: 242p
• Size: 21cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: ゲーデルの定理 ゲーデルノテイリ ( 00562524 )Authorities; 記号論理学 キゴウロンリガク ( 00565709 )Authorities
• NDC 10th ed.: 410.9 : Mathematics
• NDLC: MA41
• Target Audience: 一般
• Note (Bibliography): 索引あり
• Price: 2500円
• Holding library: 国立国会図書館
• Call No.: MA41-M18
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 030125436; http://id.ndl.go.jp/bib/030125436
• National Bibliography No. (JPNO): 23323182
• TOHAN MARC No.: 34013700
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: 学園の入門生たちが、ロジックの理解を目指して奮闘する様子を描く。たった２週間で不完全性定理がマスターできる不思議な物語。(Provided by: 出版情報登録センター（JPRO）)
• Author introduction: 田中一之 東北大学大学院理学研究科教授バラマツヒトミ 漫画家・イラストレーター(Provided by: 出版情報登録センター（JPRO）)

Table of Contents

プロローグ

まえがき

2月28日(月)　授業1日目

等式ロジック

演習：ピグマリオン