وبلاگ بلیان

اثبات‌های ساده‌شده استقلال: مدل‌های ارزش‌گذاری بولی از نظریه مجموعه‌ها

Simplified Independence Proofs: Boolean Valued Models of Set Theory

معرفی کتاب «اثبات‌های ساده‌شده استقلال: مدل‌های ارزش‌گذاری بولی از نظریه مجموعه‌ها» (با عنوان لاتین Simplified Independence Proofs: Boolean Valued Models of Set Theory) نوشتهٔ J. Barkley Rosser، منتشرشده توسط نشر Academic Press در سال 1969. این کتاب در فرمت djvu، زبان انگلیسی ارائه شده است.

دانلود کتاب اثبات‌های ساده‌شده استقلال: مدل‌های ارزش‌گذاری بولی از نظریه مجموعه‌ها