Logical Foundations of Proof Complexity
ISBN: 9780511677168
Information Available:
Summary
Copyright held by Baker & Taylor.