証明論入門

著者 : 竹内外史 八杉満利子

• 共立出版

作品紹介・あらすじ

内容紹介文がありません

著者プロフィール

イリノイ大学名誉教授、理学博士。1926年 石川県に生まれる。東京大学理学部卒業。東京大学講師、東京教育大学助教授・教授、イリノイ大学教授などを歴任。主な著書に『リー代数と素粒子論』『線形代数と量子力学』（以上 裳華房）、『現代集合論入門』『層・圏・トポス』（以上 日本評論社）、『直観主義的集合論』（紀伊國屋書店）などがある。

「1995年 『証明論と計算量』 で使われていた紹介文から引用しています。」