［古本］状態：並
著者/訳者 田中一之／編
出版社名 東京大学出版会
発行年月 2006年07月
ISBN 978-4-13-064095-4
20101127
ブールからゲーデルへ?２０世紀ロジックの形成
第１部 ゲーデルと日本?明治以降のロジック研究史（高木貞治と数学基礎論?明治・大正期の先駆者たち
昭和初期の日本に届いたゲーデルの波紋
赤い本とそれ以後のゲーデル?大戦末期から１９６０年代まで
数理論理学のさまざまな発展?１９７０年代以降）
第２部 ゲーデルと哲学?不完全性・分析性・機械論（不完全性と分析性
人間と機械
ゲーデルと第二次大戦前後の日本の哲学）
第３部 ロジシャンの随想（プリンストンにて?私の基本予想とゲーデル
２０世紀後半の記憶?数学のなかの構成と計算）
