发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Logical Foundations of Proof Complexity || THE PREDICATE CALCULUS AND THE SYSTEM LK

Logical Foundations of Proof Complexity || THE PREDICATE CALCULUS AND THE SYSTEM LK

Cook, Stephen; Nguyen, Phuong

作者Cook, Stephen; Nguyen, Phuong
文件大小298.72KB
发表时间2010
DOI10.1017/CBO9780511676277.003
页码9-38

← 返回【学霸图书馆】主页