الوصف
Egon Börger delves into the classical decision problem in mathematical logic, presenting an extensive exploration of its fundamental concepts and implications. The text meticulously examines the historical context and evolution of this pivotal issue, offering insights into its significance in the realm of logic and computability.
Throughout his work, Börger not only outlines the fundamental theories and methodologies associated with the decision problem but also engages with various perspectives and recent advancements in the field. Readers will find a balanced blend of rigorous academic analysis complemented by accessible explanations, making it suitable for both scholars and those new to the subject.
Throughout his work, Börger not only outlines the fundamental theories and methodologies associated with the decision problem but also engages with various perspectives and recent advancements in the field. Readers will find a balanced blend of rigorous academic analysis complemented by accessible explanations, making it suitable for both scholars and those new to the subject.
تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
492 صفحات
لغة
الإنجليزية
منشور
أغسطس 28, 2001
الناشر
Springer
الطبعات
2 طبعات
رقم ISBN-10
3540423249
رقم ISBN-13
9783540423249