شماره ركورد

27645

شماره مدرك

3731509

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

Kraj?ek

عنوان

Forcing with Random Variables and Proof Complexity

اطلاعات نشر

Cambridge University Press

سال نشر

2011

شابك

9781139107211