شماره ركورد

27710

شماره مدرك

3732709

نويسنده/تنالگان

COOK

عنوان

Logical Foundations of Proof Complexity

اطلاعات نشر

Cambridge University Press

سال نشر

2010

شابك

9780511676277