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