数学の論理的基盤と計算複雑性
Logical Foundations of Mathematics and Computational Complexity
A Gentle Introduction
Springer Monographs in Mathematics
Pudlák, P.
- 内容紹介：
-
Covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity.