Logical Foundations of Mathematics and Computational Complexity•书评
书名: Logical Foundations of Mathematics and Computational Complexity
作者: Pavel Pudlák
出版社: Springer
副标题: A Gentle Introduction
出版年: 2013-4-23
页数: 695
定价: USD 189.00
装帧: Hardcover
ISBN: 9783319001180