Logical foundations of proof complexity

书目详细资料
主要作者: Cook, Stephen 1948-
其他作者: Nguyen, Phuong 1977-
格式: 图书
语言:英语
出版: Ithaca, N.Y., New York, N.Y. Association for Symbolic Logic Cambridge University Press 2010.
丛编:Perspectives in logic
主题: