|
|
論理学への数学的手引き
|
著者 | 嘉田 勝
|
---|
出版社 | 1月と7月
|
---|
発売日 | 2020年11月12日頃
|
---|
サイズ | 単行本
|
---|
価格 | 5,940 円
|
---|
本書は、アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキストの翻訳です。数理論理学の基本定理である1階論理の完全性定理、ゲーデルの不完全性定理(第1および第2)の完全な証明に加え、完全性定理の応用例としての超準解析、2階論理の初歩までをカバーしています。
科学・技術 > 数学
|
みんなの感想
登録している読者
この本を読んだ人はこんな本も読んでいます
|
|
|