الوصف
This volume delves into the intersection of computation and set theory, exploring various techniques that enhance the decision-making processes for set-theoretic formulas. The authors, Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo, provide a comprehensive examination of computational methods, making complex concepts accessible.
Through their thorough analysis, they aim to equip readers with valuable tools for understanding and navigating the intricacies of set theory in a computational context. Their insights pave the way for future research and applications in related fields, proving essential for both scholars and students alike.
Through their thorough analysis, they aim to equip readers with valuable tools for understanding and navigating the intricacies of set theory in a computational context. Their insights pave the way for future research and applications in related fields, proving essential for both scholars and students alike.
تفاصيل الكتاب
تنسيق
غلاف صلب
لغة
الإنجليزية
منشور
Apr 12, 1990
الناشر
Oxford University Press
رقم ISBN-10
0198538073
رقم ISBN-13
9780198538073