剧情简介：The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity 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 interdiscip...(展开全部)
作者：Pavel Pudlák
出版社：Springer
ISBN：9783319001180
