اجبار با متغیرهای تصادفی و پیچیدگی اثبات
Forcing with random variables and proof complexity
نویسنده: Jan Krajíček
ناشر: Cambridge University Press
سال انتشار: 2011
تعداد صفحات: 266
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت