اثباتهای سادهشده استقلال: مدلهای ارزشگذاری بولی از نظریه مجموعهها (ریاضیات خالص و کاربردی)
Simplified Independence Proofs: Boolean Valued Models of Set Theory (Pure & Applied Mathematics)
معرفی کتاب «اثباتهای سادهشده استقلال: مدلهای ارزشگذاری بولی از نظریه مجموعهها (ریاضیات خالص و کاربردی)» (با عنوان لاتین Simplified Independence Proofs: Boolean Valued Models of Set Theory (Pure & Applied Mathematics)) نوشتهٔ J. Barkley Rosser، منتشرشده توسط نشر Academic Press در سال 1969. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.
This text shows how to construct models for set theory in which the truth values of statements are elements of a Boolean algebra
دانلود کتاب اثباتهای سادهشده استقلال: مدلهای ارزشگذاری بولی از نظریه مجموعهها (ریاضیات خالص و کاربردی)