توضیحات
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